>>751 その記事には詳しく書かれていなかったが、ケプラー予想についてググッてみた。
ttp://www.geocities.jp/ikuro_kotaro/koramu/mugenjigen.htm

　ケプラー予想は，１９９４年に解決されたフェルマーの最終定理に取って代わる数学上の
未解決問題になっていたわけですが，１９９８年にトマス・ヘールによってとうとう
　　「キャノンボール・パッキングよりも密度の高い３次元パッキングは存在しない」
ことが証明されました．ケプラー予想から４００年近く経って，やっと定理に昇格したのです．