Inter-universal geometry と ABC予想 34

[0524 １３２人目の素数さん 2018/11/14(水) 23:24:44.16 ID:Wlr6MtWb]

>>518
ヘイルズによるケプラー予想の証明では形式化してコンピュータでチェックする
まで12年もかかってる。めっちゃ大変な作業なんだよ。誰もやらんだろうけど。