A Milestone in Formalization: The Sphere Packing Problem in Dimension 8alphaxiv.org
14 points by measurablefunc 2 days ago | 0 comments