AIが数学史上最大の難問に挑んだ#
Anthropicがまだ正式リリースしていない最新AIモデルが、数学界で150年以上未解決の難問「リーマン予想」において重要な進展を達成した。2026年8月11日（月）に発表されたこのニュースは、AIが新たな科学的・数学的アイデアを発見できるかどうかという長年の議論を再燃させる可能性を持つ。
リーマン予想とは何か#
リーマン予想は、素数の分布に関する深遠な未解決問題であり、150年以上にわたって数学者たちを悩ませてきた。その証明には現在100万ドルの懸賞金が設けられており、いまだに誰も受け取っていない。今回のAnthropicモデルは問題を「解いた」わけではないが、仮説が成立することが確認できる解の下限を大幅に引き上げるという、意義深い前進を成し遂げた。
どのように進められたか——驚異のプロセス#
今回の取り組みで特に注目すべきは、その進め方だ。高度な数学的訓練を受けていないAnthropicのスタッフが、このモデルに対してリーマン予想の証明に「本気で取り組む」よう指示し、その後モデルに作業を委ねた。モデルはその後約1日半にわたって自律的に作業を進めた。
具体的な規模感を示す数字は以下の通りだ（すべてソース記事に記載）：
- テストしたアイデアの数: 650種類
- 統括したサブエージェント数: 60
- 使用した出力トークン総数: 3,100万
60のサブエージェントの内訳は論文の脚注に記載されており、以下のように役割が分かれていた：
- 2エージェント: 核心となる数学的アイデアを開発
- 13エージェント: そのアイデアの発展に貢献
- 30エージェント: 新たなアイデアの開発を試みたが成功せず
- 13エージェント: 議論の正確性を検証するバリデーター役
- 残り2エージェント: 初期論文の執筆を補助
この成果はAnthropicの社内数学者2名によって確認され、オープンソースの証明支援ツール「Lean」を用いて形式化された。
相次ぐAIによる数学的ブレークスルー#
今回の成果は、LLM（大規模言語モデル）が主導する数学的発見の流れの中でも最新の事例だ。ソース記事によれば、今年に入ってからすでに複数のエルデシュ問題がAIモデルによって解決されており、モデルの高性能化とともにより顕著な成果が生まれている。OpenAIも内部モデル「Astra」が証明した10件の主要な数学的成果を最近公開し、Anthropicも別の取り組みとして長年の未解決問題だったヤコビアン予想の反証に成功したと報じられている。
数学界が抱く期待と懸念#
こうした成果の積み重ねは、数学の世界に興奮と同時に懸念をもたらしている。ソースによると、2026年6月に著名な数学者のグループが公開声明に署名し、AIが数学の重要な価値観を損なう恐れがあると警告した。特に問題視されているのは、数学的証明は「発見に責任を負う特定の著者に帰属すべき」という学問上の規範だ。
一方で、フィールズ賞受賞者のティモシー・ガワーズはブログ投稿の中で、AIの影響が数学をより複雑かつポジティブな方向へ変える可能性を示唆した。「数学の定理がもはや特定の数学者と結びつかない世界が来たとしても、それは星が天文学者の名を冠さず、ほとんどの星に名前がついていない現状と大差ないかもしれない」と述べている。
まとめ#
Anthropicの未公開モデルによるリーマン予想への進展は、AIが未解決の数学問題に対して実質的な貢献を果たせることを示す具体的な事例となった。650のアイデアを探索し、60のサブエージェントを自律的に調整するというスケールの大きさは、単一の人間研究者では難しいアプローチだ。
筆者の見解: AIによる数学研究の加速は不可逆的なトレンドになりつつあるように見える。数学コミュニティが「発見の帰属」という哲学的問題にどう向き合うかは、今後の学術界全体にとっても重要な問いかけとなるだろう。技術の進歩と学術的価値観のせめぎ合いは、数学にとどまらず科学全般に波及する議論になる可能性がある。
出典: An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
