Tag: computer-assisted proof
-
The Ancient Puzzle of Packing Spheres: From Kepler’s Cannonballs to Viazovska’s Magic Function
From Kepler’s cannonball conjecture to Viazovska’s breakthrough in dimensions 8 and 24, this report narrates the centuries-long mathematical quest to understand the densest possible arrangement of spheres.