Anthropic、未発表版 Claude がリーマンゼータ関数の下界を 41.6% から 67.2% へ向上──数学の難問に挑む過程で成果
未発表の Claude が Claude Code を用いた推論セッションでリーマンゼータ関数の零点に関する長年の数学的下界を更新した。
リリース: 2026-08-06 · 読了 3 分記事の要約
1. 核心（What）
- 未発表の Claude 研究版がリーマンゼータ関数の零点に関する下界を 41.6% から 67.2% へ改善した。
- Claude Code 上で約 60 のサブエージェントを協調させ、総計 3,100 万出力トークンと 2,400 回のシェルコマンドを実行した。
- Baluyot らの先行研究と Bombieri の研究成果を組み合わせることで今回の下界導出に成功した。
- 得られた成果は社内数学者の査読および Lean による形式的証明の双方を通過している。
2. 影響（Why）
- 数理科学における AI の新地平: 人間が解けなかった難問そのものの解決には至らなくても、関連する未解決の評価下界を自律探索で更新できたため、今後の数学的仮説検証において AI は不可欠な計算エンジンになる。
- 国内研究開発組織への実務的影響: 国内の数理モデリングや金融工学を扱う専門チームは、既存の近似手法や文献調査の壁を破るために、マルチエージェント型の探索ループを検証パイプラインに組み込む設計を急ぐべきである。
3. 根拠・詳細（How）
- Weil の二次形式とモーメント情報の活用: Weil による二次形式から誘導される関数空間を構築し、零点の内外における正定値・負定値のサブスペースを考慮した上で、一次・二次モーメント情報に基づく不等式を設計した。
- サブエージェントの多重検証パイプライン: Claude Code の環境下で約 60 のサブエージェントが 2,400 回のシェルコマンドと数千の数値チェックを並列実行し、arXiv から取得した 54 本の論文と照合して既存研究との重複を確認した。
4. 展望・課題（Next）
- モデルの一般公開と限界の検証: 今回の成果を生み出した未発表の Claude 研究版の一般提供時期や詳細なスペックは明かされておらず、同様のアプローチが他の数学的分野へ汎用的にスケールするかは今後の検証課題となる。