Hacker News new | ask | show | jobs
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (alphaxiv.org)
34 points by measurablefunc 51 days ago