A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 34 points by measurablefunc 3 days ago story
Hacker News