Anthropicの未公開モデルがリーマン予想で進展
Judul asli: An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
Mengapa Ini Penting
AIが未解決の数学的難問に自律的に挑戦し進展を遂げた事例として、科学的発見における大規模言語モデルの能力を示す重要な節目となる。
Anthropicの未公開AIモデルが数学最大の未解決問題の一つ、リーマン予想において重要な進展を達成。1日半の自律的な作業で650のアイデアをテストした。
Anthropicは2026年8月11日、未公開のAIモデルがリーマン予想において重要な進展を達成したと発表した。リーマン予想は150年以上にわたる未解決の数学的問題であり、素数の分布に関する仮説で、証明には100万ドルの懸賞金が設けられている。
このモデルは、数学の専門的な訓練を受けていないAnthropicのスタッフが「本気で証明に挑戦してほしい」と指示した後、約1日半にわたって自律的に作業を実施。60のサブエージェントを統括しながら650の異なるアイデアをテストし、合計3,100万の出力トークンを消費した。論文の注釈によると、60のサブエージェントのうち2つが主要な数学的アイデアを開発し、13が補助的な貢献を行い、30がアイデア開発に失敗し、13が引数の正確性を検証し、残り2つが論文執筆を担当した。
この成果はAnthropicの社内数学者2名によって確認され、オープンソースの証明支援ツールLeanを使って形式化された。同様のAIによる数学的突破口として、OpenAIの内部モデル「Astra」が10件の主要な成果を発表し、Anthropicは別途ジャコビアン予想の反証にも成功している。一方、著名な数学者グループは2026年6月、AIが数学の価値観を損なう可能性について懸念を表明する共同声明を発表。Fields賞受賞者のTimothy Gowersはブログでこの問題に対し異論を唱えた。