Anthropic、未公開 Claude モデルでリーマン予想のクリティカルライン上のゼロ点の下界を 41.6% から 67.2% へ向上
Claude Code 上で約 60 体のサブエージェントを自律連携させ、1.5 日間で 3,100 万トークンと 2,400 回のシェルコマンドを実行して 160 年ぶりの数学的境界の更新を達成した。
リリース: 2026-08-10 · 読了 4 分記事の要約
1. 核心（What）
- 未公開の Anthropic 研究用 Claude モデルが、1859 年に提唱されたリーマン予想において、クリティカルライン上に存在するゼロ点の証明済み下界を 41.6% から 67.2% へ更新した。
- Anthropic のスタッフである Jarred Sumner 氏が Claude に完全な証明への挑戦を指示した結果、数学的境界の拡張という副次的成果が得られた。
- 検証プロセスにおいて、約 60 体の Claude サブエージェントが Claude Code 内のマルチエージェントスウォームとして自律的に 650 個以上のアイデアを検証した。
- 得られた数学的証明は Lean 言語で形式検証され、公開された上で数論学者の査読を受けている。
2. 影響（Why）
- 数論の 160 年の停滞を打破: 160 年間進展のなかった数論の難問に対し、LLM がマルチエージェントによる数千回の試行錯誤を経て従来の下界を大幅に上回ったことで、AI による未踏領域の探索能力が実証された。
- 国内数理科学研究への示唆: 数学や暗号理論を扱う国内の大学・研究機関は、証明支援系言語（Lean等）と連動したマルチエージェント型探索を検証プロセスの標準装備として組み込むかを検討する転換点となる。
3. 根拠・詳細（How）
- マルチエージェントによる探索構成: Claude Code の環境下で約 60 体のサブエージェントが並列稼働し、1.5 日間で 3,100 万トークンと 2,400 回のシェルコマンド、数百個の Python スクリプトを実行して 650 種類の仮説を検証した。
- 幾何学的空間の統合アプローチ: クリティカルライン上とライン外のゼロ点を個別に解析せず、単一の幾何学的空間として統合的に扱うことで、より強固な不等式を導出することに成功した。
4. 展望・課題（Next）
- 完全証明への波及限界: Anthropic 側は本手法が直ちにリーマン予想の完全な証明につながるとは想定しておらず、あくまで限定的な下界の拡張にとどまるとしている。