Tech article
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
Latest tech news from Hacker News on NeuralNews: A Milestone in Formalization: The Sphere Packing Problem in Dimension 8.
Hacker News | Apr 28, 2026 | measurablefunc