nLab Kepler's conjecture

Contents

Contents

Idea

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

Proven with computer proof assistants by the Flyspeck project.

References

See also

Last revised on June 11, 2024 at 18:57:01. See the history of this page for a list of all contributions to it.