1 :ななしさん :26/09/07(月) 22:43:27 ID:??? フェルマーの最終定理も打開されちゃった… Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 pic.twitter.com/eYofWW927B— GIGAZINE(ギガジン) (@gigazine) 2026年9月7日 2 :ななしさん :26/09/07(月) 22:45:23 ID:??? 俺を超えたか 6 :ななしさん :26/09/07(月) 22:47:16 ID:??? >>2 アンドリュー・ワイルズのレス…