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

 (alphaxiv.org)

14 points | by measurablefunc 2 days ago ago

No comments yet.