Hacker News new | ask | show | jobs
Completing the formal proof of higher-dimensional sphere packing (math.inc)
1 points by carnevalem 102 days ago