Sphere Packings in 3 Dimensions

Thomas C. Hales
DOI: https://doi.org/10.48550/arXiv.math/0205208
2002-05-20
Abstract:This short note describes the tentative form of a finite-dimensional optimization problem that may be of use in a second-generation proof of the Kepler conjecture. In the original 1998 proof of the Kepler conjecture, the form of the optimization problem was constrained by limits to computer power and by the speed of the algorithms that were available in 1994 to prove inequalities by computer. The computational resources have changed considerably since then, and much has been learned by an analysis of the 1998 proof. This analysis has lead to the proposed new form for an optimization problem.
Metric Geometry
What problem does this paper attempt to address?