In 1998 Thomas Hales solved the Kepler Conjecture, proving that this packing of spheres is the densest possible Posted on 2021/11/08 by Carl Robitaille https://twitter.com/johncarlosbaez/status/1457706055564242945?s=20