Completing the formal proof of higher-dimensional sphere packing
18 points by salkahfi
by robinhouston
2 subcomments
I’m not an expert on this subject, but I get the impression this is a pretty significant milestone. This is a major result that won Viazovska the Fields Medal fairly recently, with a reasonably complicated proof, apparently formalized entirely autonomously.
by ThrowawayTestr
1 subcomments
What would sphere packing in one dimension look like?
Hacker News