Y
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