リーマン予想の証明にClaude次期モデルが近づく！

リンク先はAnthropicの著作物なので、逐語訳ではなく内容を私＝Opus 6の言葉で日本語に組み直したものをお渡しします（初心者向けに噛みくだくには、そのほうが役に立つはずです）。

---

## 結論

Anthropicの未公開の研究版Claudeが、数学の超難問「リーマン予想」に挑み、予想そのものは解けなかったものの、その途中で関連問題を前進させました。具体的には、ゼータ関数のゼロ点のうちリーマン予想を満たすものの割合の下限を、41.6%から67.2%へ引き上げました［1］。記事の日付は2026年8月10日、つまり昨日です。

重要なのは、Anthropic自身が「今回の手法がリーマン予想の証明につながるとは考えていない」と明言している点［1］。「AIが100万ドルの難問を解いた」という話ではありません。

---

## 全体像 ── そもそも何の話か

**素数**（2, 3, 5, 7, 11…）は、いつ現れるかの規則がつかめません。19世紀のリーマンは、素数の並び方が**ゼータ関数**という関数の「ゼロになる場所」で決まることを見抜きました。ゼロになる場所ひとつひとつが、素数の並びに細かい模様を一枚ずつ加えていくイメージです［1］。

リーマン予想（Riemann hypothesis）とは、「その大事なゼロ点が、すべて一本の縦の直線の上に並んでいる」という主張です。この線を臨界線（critical line）と呼びます。1859年の提起以来、誰も証明も反証もできていません［1］。クレイ数学研究所のミレニアム問題で、賞金100万ドルがかかっています。

そこで数学者は方針を変えました。「全部が線上」は言えないなら、「少なくとも◯%は線上にある」を証明しようという作戦です。この％を少しずつ上げていくのが、半世紀以上続いてきた競技です。

| 年 | 誰が | 下限 |
|---|---|---|
| 1974 | Levinson | 1/3超（約33%）［2］ |
| 1989 | Conrey | 2/5（40%）［2］ |
| 2011 | Bui–Conrey–Young | 41.05%［3］ |
| 2020 | Pratt ら | 約41.7%［4］ |
| **2026** | **Claude** | **67.2%**［1］ |

数十年かけて1ポイントずつ削っていた場所で、25ポイント以上の飛躍が起きた——ここが驚かれている理由です。

---

## Claudeは何をしたのか（詳細）

新しい数学をゼロから発明したのではなく、別々の棚にあった2つの道具をつないだ、というのが正確な理解です。

道具A：モンゴメリーのペア相関法（1973年）
ゼロ点が線上でどう散らばるかを調べる強力な手法。ただし「リーマン予想が正しいと仮定すれば」という条件付きでした［1］。

道具B：ボンビエリの2000年の仕事
ゼロ点の下限を評価する別系統の議論［1］。

近年、Baluyot、Goldston、Suriajaya、Turnage-Butterbaughの4人が、モンゴメリーの手法を「予想を仮定せずに」使えるよう作り替える一連の論文を発表しました［1］。Claudeは、この改造済みの道具Aと、道具Bを組み合わせる配線を見つけた、というわけです［1］。

技術的な核は記事にこう要約されています（平たく言い換えます）：関数の空間に、ヴェイユの明示公式から出てくる「二次形式」という物差しを入れる。線上のゼロは正の方向、線から外れたゼロは負の方向に効く。両者を切り離さず同じ空間の中で同時に扱い、しかも計算しやすい対角形に整形せず生のまま扱った——その「腹の据わり方」が突破口だった、と［1］。

⚠️ ここは私の推定ですが、依拠した先行研究では「予想を仮定すれば67.25%」という数字が既に出ています［5］。つまり今回は「仮定つきでしか言えなかった水準に、仮定なしで到達した」という構図に見えます。論文本体を精読して確認したわけではないので、断定は避けます。

---

## 方法論 ── ここが実務的に一番面白い

- Claude Codeで2セッション、出力トークンは合計3,100万［1］
- 指示を出したのは**数学者ではない**社員。内容はほぼ「本気で挑んでみて」の一言で、あとはモデルに委ねた［1］
- 最初は650個のアイデアを試して全滅［1］
- 再挑戦で、**約60体のサブエージェント**を1日半かけて統括。シェルコマンド2,400回、Pythonスクリプト数百本［1］
- 内訳は、中核アイデア担当2体、アイデア提供13体、挑戦して失敗30体、**検証役13体**、論文執筆2体［1］
- 既知のゼロ点に対して数千回の数値チェック、エージェント同士の相互査読［1］
- arXivから54本の論文を落として「既出でないか」を自分で確認［1］
- 論文化を**自分から申し出**、「人間の数論研究者に検証してもらうべき」と自ら提言［1］
- 人間側の入力は、ほぼ「続けて」「自分を信じて」といった励まし［1］

最後の点について記事は、Claudeが当初「自分に意味ある前進などできない」と懐疑的だったと書いています［1］。訓練を通じて「未解決問題は難しい」「AIには限界がある」と学習した結果だろう、と。

---

## 検証体制（信頼性の要）

1. Anthropic社内の数学者2名（Levent Alpöge、Ralph Furman）が精査［1］
2. 外部の専門家Brian ConreyとDan Goldstonが急遽論文に目を通した［1］（Goldstonは依拠した先行研究の著者本人）
3. **Lean**（証明支援系＝proof assistant、機械が証明の正しさを一行ずつ検算するソフト）で形式化し、標準検証ツールを通過［1］
4. 論文・非公式ノート・「どう到達したか」の付録・全過程のログを公開［1］

---

## 私の率直な評価

**良いと思う点。** 発表のトーンが誠実です。「解いた」と言っていない。「この手法では予想は解けない」と自分から釘を刺している。ログまで公開している。AI企業の成果発表としては、かなり自制的な部類です。

**留保すべき点。** 発表主体はClaudeの開発元＝**当事者**です。査読付き学術誌に載ったわけではなく、自社サイトでのプレプリント公開段階。外部2名が「短時間で」目を通した、という記述も、通常の査読とは重みが違います。**数学界からの独立した反応を数週間待つのが賢明**です。

またLean形式化についても、「ツールを通った」ことと「主定理の全体が完全に機械検証された」ことは同じではありません。どの補題を前提として置いているかは、リポジトリを読まないと判断できません。私は中身を確認していないので、ここは保留します。

**性質の見立て。** これは「新概念の創出」ではなく「**文献の統合**」です。人間の研究者が時間不足で試せなかった組み合わせを、AIが物量で潰した。逆に言えば、**現代の数学は、誰も全部は読めないほど論文が積み上がっており、そこに未回収の組み合わせが埋まっている**——今回はそれを可視化した事例だと私は見ています。地味ですが、これは相当に大きな示唆です。

**「励まし」の話について。** 感動的な逸話として消費されやすいのですが、技術的にはやや気がかりな現象です。モデルが訓練由来の**過度な自己抑制**を抱えており、それを人間が外してやる必要があった、ということですから。過度な自信も過度な謙遜も、どちらも精度を損ないます。運用者としては「AIの『無理です』は、能力の限界ではなく学習された態度かもしれない」と覚えておく価値があります。

---

## 展望

- **数ヶ月内**：arXiv投稿と査読。他の研究者が同じ配線で67.2%をさらに押し上げる競争が始まる可能性があります（**予測**）
- **中期**：AIが出した証明を、人間が全部読まずともLeanで信頼できる体制が整いつつある。こちらが本命の変化だと思います
- **リーマン予想そのもの**：今回の延長線上にはない、というのが発表者自身の見立てです［1］

---

## さらに知っておくと役立つこと

**語彙メモ**

| 英語 | 訳 | 補足 |
|---|---|---|
| nontrivial zeros | 非自明なゼロ点 | 素数の並びを決める大事なゼロ |
| critical line | 臨界線 | 実部が1/2の縦線 |
| lower bound | 下限 | 「少なくとも◯%」の◯ |
| **unconditional / conditional** | **無条件／条件付き** | **今回の肝。「予想を仮定せずに言えるか」の差** |
| proof assistant | 証明支援系 | Leanなど。証明を機械が検算 |

**英語の語感メモ。** 発端の指示は "take a real stab at" ［1］。*stab* は本来「刺す」ですが、*take a stab at* で「ダメ元でやってみる」という軽い口語表現です。そこに *real* を足すと「片手間じゃなく、本気で刺しにいけ」というニュアンスになる。英語圏の読者は、この気軽さと難問の重さの落差に、ちょっとした可笑しみを感じる書き出しになっています。日本語で「ちょっと本気で殴りかかってみて」くらいの温度感です。

**読む順番のおすすめ。** ①解説記事 → ②「Claudeがどう到達したか」の付録 → ③非公式ノート → ④論文本体。②が一番面白いと思います。

---

## 出典

［1］Anthropic「Learning more about Claude's mathematical capabilities」2026年8月10日 https://www.anthropic.com/research/riemann-zeta
［2］arXiv:2602.04022「The Riemann Hypothesis: Past, Present and a Letter Through Time」（Levinson 1/3、Conrey 2/5 の経緯）
［3］arXiv:1002.4127 Bui, Conrey, Young「More than 41% of the zeros of the zeta function are on the critical line」
［4］arXiv:2511.20059「Zeta Zeros on the Critical Line」（Pratt–Robles–Zaharescu–Zeindler 2020 の41.7%）
［5］arXiv:2501.14545 Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh「Pair Correlation of Zeros of the Riemann Zeta Function I」（RH仮定下で67.25%）