- 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
アンドリュー・ワイルズのレス
続きを読む
Source: ゴールデンタイムズ
