Pocket

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

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

球充填

出典:gigazine.net

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

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