>>178
>2026年9月4日、Anthropicの研究チームが**「Claudeがフェルマーの最終定理の完全な機械検証（形式化）証明を達成した」**と発表し、大きな話題となりました。

ありがとう
これだね
凄い時代になりましたね

https://finance.biggo.jp/news/66299417-e5ad-479a-a0d3-ff876c8251e3
finance.biggo.jp
Claude、11日間でフェルマーの最終定理を形式化検証、清華大学姚班出身者が主導
2026-09-05

Anthropicは9月4日、AIモデル「Claude」がほぼ自律的に11日間稼働し、フェルマーの最終定理について初のエンドツーエンドのコンピュータ検証可能な証明を完成させたと発表した。Claudeは約1300万行のLeanコードを生成し、約3万300個の定理を構築、うち2万9500個が最終証明に組み込まれた。規模は世界最大の数学定理ライブラリ「Mathlib」の5倍超、総消費量は約60億出力トークンに達した。プロジェクトは清華大学姚班出身でコロンビア大学助教授の彭天翼氏が主導し、同氏のチームが開発した「Prove2Me」プラットフォームがマルチエージェント協調の混乱を解消。当初数年かかると見込まれた形式化工程を2週間未満に圧縮した。この成果は数学の検証方式が人手による査読からコンピュータ自動検証へ移行するパラダイムシフトを示すものだ。

人工知能企業Anthropicは9月4日、AIモデル「Claude」がほぼ自律的に稼働する状態で、わずか11日間でフェルマーの最終定理の初のエンドツーエンドのコンピュータ検証可能な証明を完成させたと発表した。この成果は清華大学姚班出身でコロンビア大学ビジネススクール助教授の彭天翼氏が主導する研究チームによるもので、当初数年を要すると見込まれていた数学の形式化工程を2週間未満に圧縮した。