Kepler's conjecture

The conjecture that the densest sphere packing in 3-dimesnions is given by spheres centered on the cubical lattice.

Proven with computer proof assistants by the Flyspeck project.

See also

- Wikipedia.
*Kepler conjecture*

Created on July 10, 2019 at 06:39:32. See the history of this page for a list of all contributions to it.