400年の難問だった「ケプラー予想の証明」１６年で証明された件

やったね！！→ 400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/oVGg9qw0Za #SmartNews

400年かかってようやく。
400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/S9SI5TJZW2 @gizmodojapanさんから

400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/WiBCNIFaX5 @gizmodojapanさんから

化学でやる六方最密構造は本当に最密かどうか証明されてなかったってこと？
“400年の難問、「ケプラー予想の証明」やっと100％終わる”
http://t.co/mWV3A4kyNa

証明系が役に立ってる / 400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/FCeUW6Qb01

“400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン” http://t.co/00dsxjp1Ac

四色問題も力技だったからな／400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/QyzcijsSKJ

なんか知らんけどおつかれ。 >400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/h85cFJD0Yj @gizmodojapanさんから

理系のこういうところが好き。
400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/8mKh0spFkt @gizmodojapanさんから

予想自体は知ってたけど、1998年に発表した論文がずっと審査中だったとは知らなかった。
400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/l65ULPOwje

何よりもこの証明を書ききった教授がすげえ
400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/7nSU19pwt3 @gizmodojapanさんから

　六方最密充填って、いままで証明されてなかったんか！？ 　４００年の難問、「ケプラー予想の証明」やっと１００％終わる 　http://t.co/untB0eSK8S

トマス・ヘールズ教授がすご過ぎ。ー 400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/zFdvoObEQi #スマートニュース

【400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/MqxOn4OgrY】
この八百屋のオレンジ積みっていう例えはどうにかなんないの(´°ω°)

Formal methodの有効活用…確かにこういう問題は得意なのかも。
QT 400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/pYkqADDxLh @gizmodojapanさんから

4色定理の証明と同じ様な感じなのかな．
400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/lXpdwxKK7B @gizmodojapanさんから

すごい！→ 400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/wWTJ3jKZup #SmartNews

いろんな意味ですげ〜 ／ 400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/IatHSh9x2B @gizmodojapanさんから

「気が遠くなるような答え合わせの部分はコンピュータに任せてしまって、人間はクリエイティヴな思考に集中できます。」その部分を思考によってジャンプする力がシリコンによって奪われているんだよ。 / “400年の難問、「ケプラー予想の証明…” http://t.co/bOaJKx6lxn

証明するのが大変なのかぁ / 400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/WA5nFb6Nv4 #SmartNews

最近いちいちコンピュータが出しゃばるようになって来たなあ。つまらん。
証明が完成したのは素晴らしいが。
400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/ykpPvAXHNK @gizmodojapanさんから

なんてドラマチック！！｜400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/KflAD2315x

すごい。ケプラー予想って証明できないものだと思ってた。
http://t.co/S9zqDDJUyu

” 400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/Kl0cjjw38P

立体最密充填の証明て難しいのか→400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン http://t.co/186EaPYrMZ

ケプラー予想が完全に証明されたっぽいけど、こんなの直感でいいじゃん・・・

ケプラー予想の証明完了って記事読んで、全然関係ないけど（関係なくもない？）ハードナッツ見なきゃ！って意気込んだとこ！わたし何話まで見たんだ？！

「ケプラー予想の証明」とは？　証明がやっと100％終わる 、400年の難問、 – NAVER まとめ http://t.co/W7dE9R5YKK
やっと終わったのかー

「ケプラー予想の証明」やっと100％終わる 、400年の難問、 – NAVER まとめ http://t.co/s9BjKyGhum

ケプラー予想とは？→互いに重なり合わない円または球の面積または体積に対する比率の事。応用的な話になると段ボールに詰め込むオレンジ（ただし完全なる球体）の最大に詰め込んだ時の体積比。こういう書き方するとよくもまあこんなものに400年も情熱をかけて証明してきたなとアホらしくも思う。

充填問題に関するケプラー予想、検証は自動証明に頼ったそうです。 http://t.co/JREBPoiTKO

バカヤローお前、証明できて10年若返っても証明に16年かかってるからマイナスじゃねーか！！ — 400年の難問、「ケプラー予想の証明」やっと100％終わる http://t.co/Rg7Wuk87K2

ケプラー予想が解かれたか
こうやって一つ一つ解かれていくといずれ人類は真理にたどり着くことができそうだと感じるよ。
厨二と罵られるかもしれないがこうやって現実離れした妄想をするのも悪くないのだ