Claude、フェルマーの最終定理を11日で形式化

1 ：ななしさん ：26/09/07(月) 22:43:27 ID:???


フェルマーの最終定理も打開されちゃった…
Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 pic.twitter.com/eYofWW927B— GIGAZINE(ギガジン) (@gigazine...