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

(alphaxiv.org) by measurablefunc | Apr 28, 2026 | 0 comments on HN