Anthropicの未公開モデルがRiemann仮説で進展
मूल शीर्षक: An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
यह क्यों महत्वपूर्ण है
AIが人間の専門家なしに150年来の難問に進展をもたらしたことは、科学的発見におけるAIの役割を根本から問い直す重要な転換点となる。
Anthropicは2026年8月11日、未公開のAIモデルがRiemann仮説において重要な進展を達成したと発表した。モデルは60のサブエージェントを調整し、650のアイデアを検証。31百万の出力トークンを使用し、1.5日間で成果を出した。
150年以上未解決の数学的難問であるRiemann仮説において、AnthropicのAIモデルが大きな進歩を遂げた。同仮説は素数の分布に関するものであり、現在も100万ドルの懸賞金が未獲得のまま残っている。
Anthropicは、まだ公開されていないモデルが仮説の成立する解の下限を大幅に引き上げることに成功したと発表した。特筆すべきは、その過程だ。数学の専門的訓練を受けていないAnthropicのスタッフが、モデルに対して「本気で仮説の証明に挑戦してほしい」と指示しただけで、モデルは約1.5日間にわたり自律的に作業を行った。
モデルは60のサブエージェントを組織化し、650種類のアイデアを検証。論文の脚注によれば、60のサブエージェントのうち2体が主要な数学的アイデアを開発し、13体がそれを支援、30体は新アイデアの開発に挑戦したが成功せず、13体が論証の正確さを検証し、残る2体が論文執筆を補助した。この成果はAnthropicの社内数学者2名によって確認され、オープンソースの証明支援ツール「Lean」を使って形式化された。
AIによる数学的発見はこれだけではない。今年に入り、複数のErdős問題がAIモデルによって解決されており、OpenAIの内部モデル「Astra」も10件の主要な数学的成果を発表した。また、AnthropicはJacobian予想の反証にも成功している。
一方、数学界では懸念も高まっている。著名な数学者グループが6月に署名した公開声明では、AIが「証明は特定の著者に帰属すべき」という数学の根本的な価値を損なう可能性を指摘した。しかし、Fields賞受賞者のTimothy Gowersは、AIの影響が数学をより複雑かつ肯定的な形で変化させる可能性があるとブログで反論するなど、研究コミュニティ内での議論は続いている。