自動ニュース作成G
400年の難問、「ケプラー予想の証明」やっと100%終わる
http://www.gizmodo.jp/2014/08/post_15285.html
2014-08-14 06:44:47
>「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」
・本人が検証ってのはどうだろう。まぁPCのログがあるだろうから第三者が検証出来るんだろうけど、それ理論を検証するのとあんまし変わらん気が
・数学の証明でコンピュータでしぼりこんだ総当たりをする歴史は結構長くて、地図の4色問題から「証明を数学的に精査出来ない」って認めない人もいる。まあ、大体はアルゴリズムが証明の肩代わり見たいな感じになってるのかな。