Thomas Hales utilized extensive computer linear programming to prove how spheres pack most densely, a problem open since 1611.
Open the full topic