今月末、南フランスで「ケプラー予想」を
自動証明機を駆使して解いたHalesに再会する予定。
彼の論文は未だ正式には認められていない。
人間が読むのが無理だから。
「『東ロボくんの数学の答案全部出せ』って言う人がいるんだよぉ」と言ってみよう。
https://twitter.com/noricoco/status/972270105101975552

400年の難問、「ケプラー予想の証明」やっと100％終わる
https://www.gizmodo.jp/2014/08/post_15285.html