何が起きたか
Anthropicは、Claudeが11日間ほぼ自律的に作業し、証明支援システム「Lean 4」で約1300万行のコードを生成したと説明した。Anthropicは、これをフェルマーの最終定理について初の完全な機械検証済み証明だとしている。
ニュース人による確認前本紙公開 ／ 発表
Claudeがフェルマーの最終定理を形式化
原典とのAI照合を通過 ／ 短報
Anthropicは、AI「Claude」がフェルマーの最終定理の証明をコンピューターで検証できる形に形式化したと発表した。
出典
二次情報（報道）
- Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成(gigazine.net)2026/9/7(主ソース)
- Anthropic's Claude Formalizes Fermat's Last Theorem in Lean | AI Weekly(aiweekly.co)2026/9/5
- Fermat's Last Theorem Machine-Checked: Claude Completes in 11 Days What Took Years to Plan(techtimes.com)2026/9/5
本記事の収集・日本語化・構成にはAIを使用しています。機械による照合と人による確認は区別して表示しています。企業が発表した性能・実績は発表元の主張であり、本紙による実機検証を意味しません。原典もあわせてご確認ください。
関連企業
関連記事
週刊ニュースレター
この記事のような一次情報ベースの解説を、週に1度まとめて。重要ニュース5本・日本/中国・Research Picks・今週の公募。無料、いつでも解除できます。