Contents

# Contents

## Idea

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.