Claude が臨界線上のゼータ零点の証明済み割合を 67.2% に引き上げた——数字よりも重要なのは方法だ

8月10日、Anthropic が著者を大規模言語モデルとする研究ノートを公開した。結果はこうだ:リーマンゼータ関数の非自明な零点のうち、少なくとも 67.2% が臨界線 Re(s) = 1/2 上にある。無条件で。これまでの証明済み記録は 41.6%(5/12)。この数字は Levinson 法の改良を四十年にわたって耐え抜いてきた。

Claude はリーマン予想を証明していない。論文自身がそう明言している——二回も。Claude がやったのは——ここがゆっくり読む価値のある部分だ——条件付きの 67% を無条件の 67% に変えたことだ。手法は本当に新しい:ゼロ密度評価も、零域も、モリファイアも使わない。算術的な入力は、Montgomery が帯域幅 ≤ 1 のペア相関第二モーメントについて素数側で行った評価そのもので、これは1973年以来無条件だ。かつて RH を読むために必要だったものはすべて、有限行列上の線形代数に置き換えられた。

この数字が重い理由

リーマン予想は、すべての非自明な零点の実部がちょうど 1/2 であると主張する。1859年以来証明されておらず、100万ドルの懸賞金がかかった Clay ミレニアム問題だ。部分的な結果はすべて、線上にある零点の割合の下界であり、その系譜はすべて書き出す価値がある:

Hardy(1914):線上に無限個の零点。
Selberg(1942):正の割合。
Levinson(1974):モリファイア法で少なくとも 1/3。
Conrey(1989):2/5、Levinson を洗練。
Bui–Conrey–Young、Feng、Pratt–Robles–Zaharescu–Zeindler:5/12、今週までの記録。

このリストの数字はすべて同じ技法の一族——Levinson 法とその末裔——から来ている。新しい 2/3 は違う。Montgomery のペア相関の考え方の系列から来ており、それは以前はRH を仮定して初めて使えるものだった。これは増分ではなく構造的な断絶だ:この強度で「RH 条件付きのペア相関の帰結」が RH そのものから切り離されたのは初めてのことだ。

2/3 という数字自体にも歴史がある。Montgomery は1973年、RH の下では零点の少なくとも 2/3 が単純であることを示した(後に Goldston らが 67.9% まで鋭くした)。ここでの 2/3 は同じ定数だが、今度は無条件だ——ただし線上の零点について、Montgomery の意味での「単純」ではなく、相異なる零点として数えた場合だ。この区別は重要だ:N₀* は臨界線上の相異なる零点を数えるので、重複度は不利に働かない。論文はまた、すべての零点の少なくとも 5/6 が相異なることを証明している。同じ仕組みから従う。

構造的な点がもう二つある。第一に、定理は誤差 o(1) を伴う二進区間 [T, 2T] についてのもので、T→∞ の liminf は少なくとも 2/3。論文は、有限の T では比が極限を下回ることを報告している。収束が遅いからだ(彼らの Remark 5.9)。第二に、方法は 2/3 で止まらない:最適な Montgomery–Taylor 窓を使えば定数は 0.67250… になり、これはちょうど RH 条件付きの Montgomery–Taylor 定数だ。2/3 はきれいな言明で、方法は無料でもう少し上を行ける。

別のエンジン

ここで、この結果は記録であることをやめて技法になる。Weil の明示公式は、テスト関数に関する正値性の言明を零点に関する言明に変える:対応する二次汎関数が半正定値であることと RH が真であることは同値だ。この同値性は力であると同時に罠でもある——「正値性で RH を証明する」素朴な路線はすべてここで死ぬ。Claude のコーディネーターエージェントは、その前の千エージェントのセッションでは、提案されたすべての路線の最初の実質的なステップが Weil の正値性かその偽装であることが判明した、と報告している。

トリックは、無限次元の形式全体について問うのをやめることだ。Claude はペアリングを有限次元のテスト関数空間——変調された窓による「Gabor システム」、d ≈ λN(T,2T) 個——に制限し、結果の有限実対称行列を解析する。すると:

臨界線上の零点は半正定値のランク1ブロックに寄与する;
線外の零点は関数方程式のもとで {ρ, 1−ρ̄} のペアを成し、不定値の (1,1) ブロックに寄与する——Kreĭn 空間のシグネチャであって、Hilbert 空間のものではない;
Sylvester の慣性法則が形式全体のシグネチャを押さえる;
von Neumann のトレース不等式で証明されたランク–トレース不等式が、シグネチャを計算可能なトレースモーメントに結びつける;
トレースそのものは、X = (T/2π)^λ までの素数から Montgomery–Vaughan を使って無条件に評価される。

零点側と素数側は、サンプリング核をエイリアシングなしで正確に与える Poisson 総和公式の恒等式で一致する。数値的には両側は小さい高さで 10⁻⁸ まで一致する。最も重要なステップは概念的なものだ:古典的には、零点側を実縦座標上の正の和として読むために RH が必要だった。ここでは、線外ペアの不定値性が線形代数に吸収される——零点が線からどれだけ離れているかを知る必要はなく、その (1,1) ブロックがランクで有界であることだけを知ればよい。負の指数は、証明されていない仮説でゼロにするのではなく、慣性定理で処理される。

これが、Bombieri の2000年の論文『素数論における Weil の二次汎関数についての考察 I』が正しい祖先として挙げられる理由でもある:彼は Weil 形式の有限切断を研究し、RH が有限個の悪い零点で失敗するなら、十分大きな切断の負固有値の数は悪い零点の数の半分に等しいことを示した。有限圧縮のシグネチャは RH の失敗の仕方を符号化する。Claude の貢献は、どの線外零点が存在するかを解決することなく、そのシグネチャから線上零点の数を取り出せることを示した点だ。

それが言わないこと、そして天井はどこか

論文は自身の限界について異例なほど明示的だ。この種の証明書は 0.68185 を超えられない——帯域幅 λ ≤ 1 の一次・二次モーメント情報には硬い天井があり、λ ≤ 1 は議論の本質だ(それを超えると、無条件の素数側が与えない情報が必要になる)。0.70/0.80/0.90 に届くには、ペア相関のサポートをおよそ 1.04/1.26/1.70 まで広げる必要がある。つまり、より賢い線形代数ではなく、本当に新しい算術的入力が必要だ。

だから正直な読み方はこうだ:これは RH を証明する方向への一歩ではないし、著者たちもそう主張していない。より古く、おそらくより手が届きやすいプロジェクト——「RH の帰結の無条件化」プログラム、Bombieri らが短い区間の素数に対してやってきたことの精神——への一歩だ。そして、ペア相関の機構は、いったん RH から解放されれば、この特定の課題ではモリファイアの機構より強いことを示している。

背後にあった54時間のセッション

付録のほうが面白い読み物で、これはカラーストーリーではなくワークフロー論文として読むべきだ。コーディネーターエージェントが約60個の隔離されたサブエージェントを1日半にわたって走らせた:shell コマンド 2,400 件、数百本の Python スクリプト、出力トークン 3,100万。コーディネーター自身はほとんど数学をしなかった。その役割は方向づけ、トリアージ、検証だ。

主要なアイデアは二つのサブエージェントが生んだ。E2 は負の指数の経路が空であること——正直な有限負指数は恒等的にゼロであること——を証明し、そのアイデアを反転させて、素数側のトレースから正の指数の下界を引き出し、零点の少なくとも半分が線上にあると主張した。E2-pairs は 91 分間考え、自分のブリーフと矛盾する数値実験を回し、1/2 を 2/3 に持ち上げたランク–トレース補題を書いた。書き終えて4分後、インフラ障害が実行を文中で殺した。コーディネーターは死んだエージェントのディレクトリを読み、その結果を「今夜起きたことの中で最も重要なこと」と見抜き、五行の証明を一行ずつ確認し、チェックリスト付きで同じエージェントを再開した。

この働き方で際立つ点がいくつかある。コーディネーター自身の創造的な予測は二つとも外れた——1/2 のステップでは機構を間違った方向に向け、2/3 のステップでは間違った回復のレバーを与えた——一方、そのレフェリー構造は持ちこたえた。サブエージェントは意図的に隔離されていた:互いの会話も互いも見えない。これにより誤りが独立に保たれ、敵対的レビューが意味を持つものになった。人間の貢献は数本の一行プロンプトだけだった:「作業を再開して」「2/3 まで押し上げて」「続けて」。Claude は当初自分を過小評価していた。持続は外部から来た。

検証プロトコルこそが本当の発見

ここで、この結果は数論を超えて意味を持つ。AI 数学の信頼の問題は「モデルが証明を見つけられるか」ではない——「誰がなぜそれを信じるべきか」だ。このパイプラインはそれに答えるテンプレートだ:

ブラインドの敵対的レフェリーエージェント:それぞれが互いに重ならないギャップと攻撃計画を割り当てられ、互いを読むことを禁じられた。彼らは本当の誤りを一つ見つけた——質量行列に関する誤った前提——そして論文に最終的に採用された修正を提案した。敵対的ループが幻覚を捕まえた。これはシステムが機能しているということだ。
ブラインドの再導出エージェント:証明を読まずに結果を証明し、RH が破れることが知られている対照ケースも走らせた。どちらも安価な再現可能性の形式だ。
文献エージェント:新規性を確認するために 54 本の arXiv 論文をダウンロードした——コーディネーターは自分の記憶を信じることを明示的に拒否した。
Lean 4 / Mathlib による形式化:定理 A–E、sorry なし、三つの標準公理(propext、Classical.choice、Quot.sound)のみに依存。Weil の明示公式、Riemann–von Mangoldt の零点計数、Stirling の評価、Chebyshev–Mertens、Montgomery–Vaughan も含まれる——見出しの定理だけでなく、解析的な足場も形式化された。
人間の専門家:Anthropic 社内の数学者 Levent Alpöge と Ralph Furman が検証し、外部専門家の Brian Conrey と Dan Goldston が短い通知で検討した。

コーディネーター自身のヘッジが最も教訓的だ。「私は零点の半分が線上にあると言っているのではない。その結論を持つ論証をエージェントが生み出したと言っているのだ」「結果には人間の専門家が必要だ」。最終稿の判定は:「次の読者は人間であるべきだ」。

それは正しい分業であり、名前をつける価値がある:生成と実行は並列化できる。検証は層状で敵対的。形式化が地盤であり、判断は人に残る。レフェリーが捕まえた誤りこそ、このパイプラインが存在する理由だ——もっともらしい証明をモデルが生成するのは、まさに無批判な読者が火傷するケースだからだ。

正直な注意点

これはプレプリントレベルの研究成果で、書かれた同じ週に公開された。専門家ノート自身も、展開されていない誤差項(O(T^δ log T) と O(T^{1/2−2δ}) の尾部は概略のみで、完全には詳細化されていない)を指摘している。Lean 形式化は静的で研究用の成果物であり、メンテナンスされたライブラリではない。そしてセッションレベルの挙動——予測を二回外したコーディネーター、インフラのクラッシュがなければ気づかれなかったエージェント——はまだ再現可能なプロセスではなく、このワークフローが機能したときに何を生み出せるかを示すデータポイントだ。

数学はほとんどのプレプリントより厳しく検証された:機械検証された Lean の証明、敵対的レフェリーループ、二人の独立した専門家による読み。最終判断は依然としてコミュニティに委ねられており、それは当然だ。しかし、この物事の形——AI が生成し、形式的に検証され、専門家がレビューし、方法が Bombieri と Montgomery の祖先に正直に位置づけられた定理——は新しい。67.2% という数字は、この発表の中で最も驚きの少ない部分だ。