Anthropic が未発表のモデルを用いて、150年以上前から未解決のままの数学難問「Riemann 予想」について、部分的ながら重要な進展を達成した。既知の解の下限を 41.6% から 67.2% へ引き上げた成果で、AI が純粋数学の研究最前線へ進出したことを示す事例として、学界から注目を集めている。

Riemann 予想とは何か

Riemann 予想は、19 世紀のドイツの数学者ベルンハルト・リーマンが提唱した数学上の大問題。素数の分布に関わる予想で、その証明には美国の Clay Mathematics Institute が設定した 100 万ドルの懸賞金がかかっている。150年来、多くの数学者の挑戦をしりぞけてきた難題だ。

Claude が取った独自のアプローチ

Anthropic の研究チームが注目したのは、AI モデルの自己組織化の能力。数学的な厳密さを持つメンバーを含みながら、650 個の異なる解法アイデアを試行し、約 60 個のサブエージェントが役割を分担して協調する仕組みを構築した。

エージェント構成は以下の通り：

  • 2 個のエージェント：核心的な数学アイデアの開発
  • 13 個のエージェント：補助的アイデアの提案
  • 30 個のエージェント：失敗に終わったアプローチの試行と検証
  • 13 個のエージェント：議論の正当性確認
  • 2 個のエージェント：論文執筆

1 日半にわたって実行され、合計で 3,100万トークンを消費。2,400 個のシェルコマンドと数百の Python スクリプトが実行された。

成果と検証

Claude は既知の下限を 41.6% から 67.2% へと大幅に改善する結果を導き出した。この成果は以下の方法で検証された：

  • Anthropic 社内の数学者 Levent Alpöge と Ralph Furman が検証
  • Lean（オープンソースの定理証明支援システム）を用いた形式化・証明
  • 外部専門家 Brian Conrey と Dan Goldston による査読

ただし Riemann 予想の完全な解決には至らず、懸賞金 100 万ドルはまだ請求されていない。

業界での位置付け

2026年は AI による数学研究の活発化の年となっている。OpenAI は内部モデル「Astra」で 10 個の重要な数学的成果を発表。Anthropic のこの成果は、AI の自律的エージェント構成による質的な問題解決として、異なる競争軸を示している。

AI モデルは単なる計算支援ツールではなく、複雑な問題の戦略的解法を自ら設計・実行できることが実証されたことで、科学研究における AI パートナーの役割が大きく広がる可能性を示唆している。

学術界への影響

この研究成果は、AI が基礎科学の最前線で実質的な貢献をする時代の到来を象徴している。完全な証明は達成していないが、未解決問題への段階的な前進が AI システムの協調的推論能力で可能になったことが、数学研究コミュニティと AI 開発企業の関係を深める触媒となるだろう。