Claude未公開モデルが数学の「人類80年の記録」を更新──リーマン予想の関連問題で41.6%→67.2%

Anthropicが2026年8月10日に発表。未公開リサーチ版Claudeがリーマン予想に挑まされ、解けなかったものの関連問題「臨界線上のゼロ点比率」の下界を41.6%から67.2%に更新した。論文はClaude単独名義で、Lean形式化と外部数学者Conrey・Goldstonの査読を通過している。

2026年8月11日時点の情報です。Anthropicが8月10日(米国時間)、未公開のリサーチ版Claudeが「リーマン予想の関連問題」で新しい定理を証明したと発表しました。リーマン予想そのものは未解決のままですが、1942年から数学者が積み上げてきた記録——ゼータ関数のゼロ点のうち何割が予想通りの直線上にあるかの証明済み下界——が、41.6%から67.2%に塗り替わりました。人類が1974年から46年かけて進めた前進は8.3ポイント。Claudeはその3倍にあたる25.6ポイントを、約1日半で進めています。この経緯は動画でも解説しています。

・未公開リサーチ版Claudeがリーマン予想に挑まされ、関連問題の記録を41.6%→67.2%に更新(Anthropic発表) ・論文の著者名義は「CLAUDE」単独。機械証明Leanの検証と、外部数学者Brian Conrey・Dan Goldstonの査読を通過・Anthropicは「この手法がリーマン予想の証明に繋がるとは期待していない」と明記。予想自体は未解決のまま

Claudeが証明した内容

項目	内容(出典: Anthropic公式ブログ・論文)
結果	臨界線上のゼロ点比率の下界 41.6%→67.2%(無条件証明)
従来記録	1974年33.3%→1989年40%→2020年41.6%(46年間で+8.3pt)
今回の前進	+25.6pt(約1日半・2セッション)
規模	サブエージェント約60体・出力3,100万トークン・shellコマンド2,400回
検証	Lean 4形式化(公理は標準3つ・sorryなし)+Anthropic社内数学者2名+外部査読Conrey・Goldston
論文	著者名義「CLAUDE」。人間の関与はスタッフJarred Sumner(非数学者)の指示と励まし

発端は、Anthropicスタッフ(非数学者)がClaudeに「リーマン予想に本気で挑め」と指示したことでした。Claudeは1回目のセッションで650個のアイデアを試して全滅。2回目の冒頭では、残っていた106案も自分で全部棄却した上で、挑戦を断っています。

That's not a confidence problem I can fix by believing harder. (これは、もっと強く信じれば直るような自信の問題ではない)

人間が返したのは「believe in yourself」の一言と、以降の「keep going」だけでした。Anthropicはブログで、Claudeが挑戦に懐疑的だった理由を「訓練を通じて、数学の未解決問題の困難さとAIモデルの限界を学んでいるからかもしれない」と分析しています。

そこからClaudeは23方面へ並列攻撃を開始し、最終的に約60体のエージェントを起動します。内訳はAnthropicの脚注によると、核心の数学を生んだのが2体、アイデア支援13体、新アイデアに挑んで失敗30体、検証係13体、論文執筆2体。半分以上が「失敗する係」と「疑う係」です。

転機は指示の空振りでした。「直線から外れたゼロ点を上から数える」という指示は完全に外れましたが、担当エージェントが問題を裏返し、「直線上のゼロ点を下から数える」ことで記録を超える結論に到達します。このときのClaude本体の第一声が記録に残っています。

my prior is that it's wrong (私の事前分布では、これは間違っている)

Claudeは即座に、互いに見えない敵対レビュアー3体を自分に差し向け、人間には「I am not telling you half the zeros are on the line.(半分が直線上にあるとは言っていない——エージェントがその結論の議論を出した、と言っている)」と報告しています。翌朝の人間の指示「Push it to ⅔」を受けて、5行で証明できる不等式——1973年のMontgomeryの定理から「リーマン予想を仮定する」を削除する一手——が見つかり、67.2%に到達しました。

251ページの付録を全部読んで一番残ったもの

この記事は、公開された一次資料251ページ(論文35p+専門家向けノート5p+発見の経緯95p+セッション生ログ116p)を全文読んだ上で書いています。読み終えて一番残ったのは、発見の速さではなく疑いの物量でした。反例の総当たり探索、ランダム10万件+敵対的設計数百件のテスト、何も知らされていない別エージェントによる再証明(2分で完了)、arXivから54本を取り寄せた新規性確認。それでも内部レビュアーの1体は最後まで確信度0.4を出し続け、Claudeの結論は「The next reader should be a person.(次に読むべきは人間だ)」でした。発見そのものより、「信じろ」と言われたAIが信じる代わりに検証を積んだ記録として読める文書です。

これはリーマン予想の前進なのか

違います。ここは論文自身が最も明確に書いている部分です。

They have no bearing on the Riemann hypothesis in either direction. (これらの結果は、リーマン予想に対してどちらの方向にも影響しない)

割合の証明をいくら積んでも「例外が1個もない」ことは言えず、しかも論文はこの手法の理論的上限が68.2%であることも自分で証明しています。今回の67.25%はほぼ終点で、この道の先にリーマン予想はありません。Anthropicも「この手法がリーマン予想の証明に繋がるとは期待していない」と明記しています。それでも、RH条件付きでしか知られていなかったMontgomery-Taylorの定数0.6725が無条件になったことは、AIの数学能力の進歩速度を示す実例です。ブログはこう締めています。

Perhaps Claude, like many of us, underestimates the rate of AI progress. (Claudeは、私たちの多くと同じように、AIの進歩速度を過小評価しているのかもしれない)

251ページの一次資料と、独立検証されていない部分

出典: Anthropic公式ブログ / 論文(35p) / 専門家向けノート(5p) / 発見の経緯(95p) / セッション生ログ(116p) / Lean形式化
「人類80年」は1942年のSelbergによる「正の割合」の初証明(数値の明示なし)起点。「46年で8.3pt」は1974年Levinson 33.3%→2020年Pratt-Robles-Zaharescu-Zeindler 41.6%の差分です。
発見の経緯を語る95ページの文書について、Anthropicは「この巻の数学は独立検証していない」と注記しています。検証済みは論文本体(Lean+社内数学者2名+外部査読)です。
記事中の英語引用は原文、括弧内は当方の日本語訳です。
本記事は続報(専門家コミュニティの反応等)があり次第更新します。

経緯の全体は動画(14分)にまとめています。60体のエージェントがどう動いたか、エージェントの「死と蘇生」を含むドラマ部分は動画のほうが追いやすいはずです。感想はコメントでもらえると、116ページの生ログを1行ずつ追う深掘り編の判断材料にします。