Keplersche Vermutung

Die Keplersche Vermutung ist die von Johannes Kepler geäußerte Vermutung, dass bei der dichtesten Kugelpackung im dreidimensionalen euklidischen Raum keine Anordnung von gleich großen Kugeln eine größere mittlere Dichte aufweist als die kubisch-flächenzentrierte Packung und die hexagonale Packung. Beide Packungen haben die gleiche mittlere Dichte von etwas mehr als 74 Prozent.

1998 gab Thomas Hales bekannt, dass er einen Beweis für die Keplersche Vermutung gefunden habe. Der Computerbeweis überzeugte zunächst nicht alle Mathematiker. Durch den 2017 veröffentlichten formalen Beweis von Hales und Mitarbeitern gilt die Keplersche Vermutung als bewiesen.