ヨハネス・ケプラー
1611年にヨハネス・ケプラーは、同半径の球を敷き詰めたとき、最密充填は面心立方格子構造および六方最密構造であると予想した（ケプラー予想）。1998年にトマス・ヘールズによって証明された。