| ▲ | A Milestone in Formalization: The Sphere Packing Problem in Dimension 8(alphaxiv.org) | |
| 34 points by measurablefunc 5 days ago | 3 comments | ||
| ▲ | GhostDrift 3 days ago | parent | next [-] | |
[flagged] | ||
| ▲ | GhostDriftInc 3 days ago | parent | prev | next [-] | |
[dead] | ||
| ▲ | tug2024 3 days ago | parent | prev [-] | |
[dead] | ||