ケプラー予想の証明が完了

あるAnonymous Coward 曰く、　10年以上を費やしていた「ケプラー予想」の証明が完了し、その内容が正しいことが示されたそうだ（GIZMODO）。

　ケプラー予想は、ケプラーの法則で知られる数学者/天体物理学者ヨハネス・ケプラーが提唱した、空間上に球体を充填する際に最高密度となる充填方法。1998年にトマス・ヘールズ氏によってその証明が示されていたのだが、その内容は非常に複雑で、その正しさを示すことができなかったという。そのため、へールズ氏は2003年に自身で証明支援ツールを使った「答え合わせ」を開始。それがやっと終了し、証明が正しいことが実証されたという。

　スラッシュドットのコメントを読む | サイエンスセクション | 数学

　関連ストーリー：
「双子素数予想」の証明につながるかもしれない論文が投稿される 2013年05月23日
難問「ＡＢＣ予想」解明か 2012年09月19日
P!=NP 予想、証明されるか ? 2010年08月09日