400年の難問、「ケプラー予想の証明」やっと100％終わる - Ameba News [アメーバニュース]

コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと「定理」ではなく「ケプラー予想」と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、「フェルマーの最終定理以来の難問が解けた！」と世界中が沸き立ったのですが、なんせ文章で300ページにも及ぶ遠大な証明でして、間違いチェックがまだ終わっていなかったのです。

[tai4oyo]

と、同時に何となく納得しかねる。そのもやもや感があればこそ、400年間も未解決の儘であるのにも関わらず、生き延びヒトビトの関心を集めてこれた証拠。 > 直感的になんとなく正しい