A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (alphaxiv.org) 34 points by measurablefunc 2mo ago ↗ HN
3 comments
[ 4.1 ms ] story [ 21.6 ms ] thread