ケプラー予想の証明が、１００％終わったそうです。

「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」というのがケプラー予想です。球充填問題といわれ、400年以上も証明できませんでした。



^{出典:gigazine.net}

証明できたのは、米ピッツバーグ大学のトマス・ヘールズ教授で16年もかかったそうです。

フェルマーの最終定理依頼の快挙ですね。