克卜勒猜想（Kepler conjecture）是以十七世纪德国天文学家约翰内斯·开普勒为名的一个数学猜想。此猜想是关于在三维欧几里德空间中最佳的装球方式（即留下的空隙最小的装球方式）的。此猜想认为在每个球大小相同的状况下，没有任何装球方式的「密度」比面心立方与六方最密堆积要高。而面心立方与六方最密堆积的「密度」略大于74%。在1998年，托马斯·黑尔斯（Thomas Callister Hales）借由费耶斯‧托特（）所提出的方式，提出了一个关于此猜想的证明。黑尔斯利用穷举法（Proof by exh