フェルマーも他の証明はなんだかんだ言って書いてたのに
最終定理だけは書かなかったのは書けなかったとみるのが自然だな
4の時の勢いでn>2も行けるだろって思ったら行けなくてそのまま30年放置&忘れる
死後 子供があれ?これなに?ってそれをそのまま公開で大問題に
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
30名無しのひみつ
2026/09/12(土) 13:52:51.44ID:UzTqpQvjレスを投稿する