KnowraKepler conjectureLinked fromLinked fromThe 3 pages that link to Kepler conjecture, each with the reason it gives.All 3Broader topic 2Related 1Computer-assisted proofBroader topic: Thomas Hales combined geometric arguments with extensive computer calculations.Sphere packingBroader topic: It settles the central three-dimensional problem for congruent spheres.Honeycomb theoremRelated: Hales's work on this packing problem preceded his proof of the honeycomb conjecture.