何が起きたか
Anthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理の完全なコンピュータ検証証明をLean言語でほぼ自律的に11日間かけて作成したと発表した。
なぜ重要か
ClaudeがLeanで書いた証明は、数学者が人手で追う129ページの証明ではなく、コンピュータが自動確認できる形にした点が要点です。フェルマーの最終定理の証明を機械検証可能にする作業は、既存の数学的推論を形式化したい研究者にとって、どこまでAIが下書きや補助を担えるかを示す材料になります。
ニュース人による確認前本紙公開 ／ 発表
Anthropic、Claudeがフェルマーの最終定理の完全なコンピュータ検証証明をLeanで作成
原典とのAI照合を通過 ／ 短報
Anthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理の完全なコンピュータ検証証明をLean言語でほぼ自律的に11日間かけて作成したと発表した。この成果は、数学研究におけるAI支援の可能性を示すものとして注目される。
出典
二次情報（報道）
- https://www.anthropic.com/research/formalizing-fermats-last-theorem(anthropic.com)(主ソース)
本記事の収集・日本語化・構成にはAIを使用しています。機械による照合と人による確認は区別して表示しています。企業が発表した性能・実績は発表元の主張であり、本紙による実機検証を意味しません。原典もあわせてご確認ください。
関連企業
関連記事
週刊ニュースレター
この記事のような一次情報ベースの解説を、週に1度まとめて。重要ニュース5本・日本/中国・Research Picks・今週の公募。無料、いつでも解除できます。