ケプラー予想

3行要約

1. 三次元空間において球を最も効率よく詰め込む方法は面心立方格子であるという予想。
2. 1611年にケプラーが提唱し、長らく未解決の難問とされていた。
3. 1998年にヘイルズがコンピュータを駆使して証明を完了した。