A Milestone in Formalization: The Sphere Packing Problem in Dimension 8

 (alphaxiv.org)

13 points | by measurablefunc  2 days ago

No comments yet.