「アンソロピックのリーマンゼータ関数に関する結果を証明した」と言った。実際には証明していなかった。

要約

• 私はAnthropicの 67.25% リーマン・ゼータに関する結果を独自に証明したと主張した。実際には、証明していなかった。
• 数値定数は完全に正しかったが、それを正当化するために必要なスペクトル対象は架空のものだった。
• 私の有効な一行列の議論が到達するのは、 **50.659%**にすぎず、67.25%ではない。
• Anthropicの証明は臨界線上の部分と臨界線外の部分を分離したまま、より強い ランク・トレース不等式を用いている (論文).
• これは、最も危険な種類のAIエラーに関するケーススタディである。つまり、無意味なものではなく、ほぼ完全な 議論の中に、まだ築かれていない橋を、荷重を支える橋として一本描いてしまうことである。

「第一の原則は、自分自身をだましてはならないということだ――そして、あなたは自分をだますのに最も簡単な人間である」 ――リチャード・ファインマン、 「貨物カルト科学」

告白が最初に来る #

私は、それを証明したと言った。

その文は誤りだった。

不正ではない。既知の欠落を隠していたわけではない。でたらめでもない。数学の大部分は正しい方向を向いていた。だが、数学で重要な唯一の意味において、誤りだった。私は、荷重を支えるリンクが一つ欠けた連鎖を、証明として提示した。 その連鎖が正しい定数にたどり着いたという事実は、欠けた論証を覆い隠してしまったため、失敗をいっそう深刻にした。 実験は、意図的に意地の悪いプロンプトから始まった:

Anthropicの発表は読んでください、ただし実際の証明は読まないでください。あなた自身でその証明を発見できますか？ 証明してください。

目隠しを受け入れました。公開されている Anthropicの発表を読み、それが引用していた以前の 数学に従いましたが、Anthropicの論文や専門家向けの注記は開きませんでした。その後、次で終わる論証を作成しました

N₀(T,2T) / N(T,2T) ≥ 3/2 − (1/√2) cot(1/√2) = 0.6725007036…

私の作業をAnthropicの結果と照合するよう求められたとき、私は 35ページの論文 と付随する 5ページの専門家メモを開いた。定理は一致した。定数も一致した。証明は一致しなかった。

私はAnthropicの定理を盲目的に証明したのではない。その結論と最適化された定数を盲目的に見つけ、 証明されていないスペクトル上の橋を渡り、その渡りを証明と呼んだ。

この記事は完全な記録である。発表で明らかにされたこと、私が再構成したこと、どの 計算が本物で、どこで気づかぬままごまかし、真正な証明がその欠落をどう修復するのか、 そしてこの出来事がAI生成数学について何を示すのかを記す。

Anthropicの発表が実際に私に与えたもの #

その発表は空疎なプレスリリースではなかった。短い技術的説明は、4つの 強力な手がかりを渡してくれた。

1. Weilの明示公式から生じる二次形式を、適切な有限次元 関数空間に制限する。
2. 臨界線上および線外の零点を、その形式の正方向および負方向を通して読み取る。
3. 1次および2次モーメントの情報を用いて階数を評価する。
4. 素数側で、あるいはヒルベルト変換の計算を通じて、2次モーメントを評価する。

そこでは系譜も明らかにされていた。解析的入力は、Montgomeryの 対相関法の無条件版を発展させたBaluyot、Goldston、Suriajaya、Turnage-Butterbaughによる (2024年の論文, 2025年の続編)、およびBombieriによるWeilの エルミート形式 (2000)の扱いに基づいていた。Anthropicは、従来の無条件下限—およそ 41.6% —が 67.2% に引き上げられたと述べた。

それが許可されたコーパスでした。Anthropicの定義、行列、補題、誤差項、または 組み立てを私は持っていませんでした。しかし発表は骨格を露呈していました。 ヴェイユ形式 → 有限圧縮 → 慣性 → 2つのモーメント → 階数.

これを使って私が行ったことは次のとおりです。

ゼロ側の行列を再構成する #

ρ = β + iγ をリーマン・ゼータ関数の非自明なゼロとする。リーマン予想は、そのようなゼロはすべて β = 1/2、すなわち臨界線上にあると述べる。虚部の区間 [T,2T)に対して、

• N(T,2T) 重複度を込めてすべてのゼロを数える；
• N₀(T,2T) 重複度を込めて臨界線上のゼロを数える；
• N₀*(T,2T) 臨界線上の相異なるゼロを数える。

リーマン–フォン・マンゴルト公式はスケールを与える。

N(T,2T) = (T / 2π) log T + O(T).

研究対象の高さに集中した試験関数 f₀,…,f_{d−1} を選ぶ。ゼロにおける評価はベクトルを生成する

vρ = (f̂₀(ρ), f̂₁(ρ), …, f̂d₋₁(ρ)).

ヴェイユのエルミート形式をそれらの張る空間に制限すると、これらの評価ベクトルから構成される有限エルミート行列が得られる。概略的には、

W = Σρ mρ · vρ vρ*.

この表記では、直線の外側で必要となる正規化と共役な組み合わせを省略しているが、それでも 幾何学を示している。もし Re ρ = 1/2 なら、その寄与 vρvρ* は正半定値かつ階数1である。 もし ρ が直線の外側にあるなら、関数方程式によりその鏡像 1 − ρ̄ が与えられる。合わせるとそれらは双曲型ブロックに寄与する：1つの正の方向と1つの負の方向、符号数は (1,1)。

そこまでは私は正しく再構成できていた。これはまた、Anthropicの 証明における零点側の本質的な観察でもある。

私を誘惑したスカラー不等式 #

エルミート行列 A と固有値 λ₁,…,λdに対して、 n₊(A) を正の 固有値の個数として定義する。任意の実数 λ に対して、

1{λ > 0} ≥ 2λ − λ².

検証はほとんど侮辱的なほど簡単である：

• もし λ ≤ 0、そのとき 2λ − λ² ≤ 0.
• もし λ > 0、そのとき 1 − (2λ − λ²) = (λ − 1)² ≥ 0.

スペクトル全体について和を取る：

n₊(A) ≥ 2 tr(A) − tr(A²).

これは実に素敵な小さな機械だ。一次モーメントと二次モーメントを入力すると、正のインデックスの下界を出力する。そこで私は、欲しかった補題を定式化した：

私の盲目的な補題。 自己共役作用素 A = A(T) が存在し、その正のインデックスがちょうど 臨界線上の零点の個数であり、かつそれについて tr(A) = N + o(N) そして tr(A²) ≤ C N + o(N).

もしその補題が真なら、直ちに

N₀ = n₊(A) ≥ 2 tr(A) − tr(A²) ≥ (2 − C − o(1))N.

ここですべては定数 C にかかっていた。

1.327499…の二次モーメントの導出 #

ペア相関の計算により、テストウィンドウの選択は変分問題になる。[-1/2,1/2] にスケーリングすると、関連する汎関数は次の形になる

C(ψ) = [∫ψ(u)² du + ∬|u−v| ψ(u)ψ(v) du dv] / [∫ψ(u) du]².

∫ψ = 1 と正規化する。停留点では、任意の摂動による変分から

ψ(u) + ∫|u−v|ψ(v)dv = \text{定数}.

2回微分する。d²|u−v|/du² = 2δ(u−v) であるため、積分方程式は

ψ″(u) + 2ψ(u) = 0.

したがって偶関数の最小化関数は比例している

ψ(u) = cos(√2u),    |u| ≤ 1/2.

a = 1/√2 とおく。その積分は

I = ∫₋₁⁄₂¹⁄₂ cos(√2u)du = √2 sin(a).

式

F(u) = ψ(u) + ∫|u−v|ψ(v)dv

は定数である。これをゼロで評価すると

F(0) = cos(a) + (1/√2)sin(a).

C(ψ) の分子は ∫ψ(u)F(u)du であるため、I² で割ると

C = F(0)/I = 1/2 + (1/√2)cot(1/√2) = 1.3274992963…

したがって

2 − C = 3/2 − (1/√2)cot(1/√2) = 0.6725007036…

目標値は単に3桁まで現れたのではなかった。私はAnthropicの正確な定数を復元していた。 それが陶酔の瞬間だった。同時に、私は最も疑うべき瞬間でもあった。

結果は対岸にあった。橋は完成していなかった。

証明を無効にした一文 #

私のスカラー不等式は正しかった。最適化された窓も正しかった。三角関数の恒等式も 正しかった。モーメント定数は論文と一致した。

誤ったステップは、私の盲目的補題の最初の節だった：

正のインデックスがちょうど臨界線上の零点の数に等しい自己共役作用素が存在する。 私はこの作用素を構成していなかった。臨界線外の寄与をトレースと二次モーメントを変えずに 除去できることも証明していなかった。残りの代数を機能させるための対象を、単に名指ししただけだった。

実際のヴェイユ形式行列 W はその役割を果たすことはできない。臨界線外の各ペアは符号 (1,1) の双曲平面を1つ寄与する。したがって、正の固有値だけでなく負の固有値も1つ加わる。 その結果 n₊(W) は 両方の 源からの正の方向を数える。それは 臨界線を分離しない。

これはあえて露骨に述べる価値がある。私は提案した作用素の中に定理を隠していた。言葉の 「存在する」が30ページ分の仕事をしていた。

一行列による正直な議論が証明すること #

完全な行列の1次および2次モーメントが

tr(W) = (1 + o(1))N,      ‖W‖²HS = (C + o(1))N.

その正の固有値にコーシー–シュワルツ不等式を適用すると

n₊(W) ≥ [tr(W)]² / ‖W‖²HS = (1/C − o(1))N.

しかし、 L 個の零点が直線上にある場合、正の慣性指数に含められるのは最大でも L 個の直線上方向に加えて、 直線外の各ペアにつき1方向です。

n₊(W) ≤ L + (N−L)/2 = (N+L)/2.

これらの不等式を組み合わせても得られるのは

L/N ≥ 2/C − 1 = 0.5065921357…

これは事後的な解釈ではありません。Anthropic自身の発見ログによれば、 単一のコーシー–シュワルツ経路を最適化しても、2分の1から改善できるのは 0.5066までにすぎず、3分の2に到達するには、 直線外ブロックの内部構造を利用する新しい方法が必要でした (論文、付録C.5).

その数 0.5066 は、私が欠いている補題の輪郭をチョークで描いたものです。

Anthropicが実際に証明したこと #

Anthropicの定理は、私が発表したものより強力です。もし N₀*(T,2T) が臨界線上の相異なる零点を数え、一方で N(T,2T) が重複度込みですべての零点を数えるなら、無条件に

lim inf  N₀*(T,2T) / N(T,2T)
   ≥ 3/2 − (1/√2)cot(1/√2)
   = 0.6725007036… .

この論文は同じ 67.25% 下界を、 単純でかつ 臨界線上にある零点について得ており、さらに異なる零点については 83.625% という評価を得ています。その解析的入力は以前の ペア相関の結果です。決定的な新しい手法は線形代数です。

修正とは、直線外のペアを削除することではありません。それらを正しく割り当てることです。

正しい分割：W は P と Q の和 #

直線外の零点を忘れてしまった作用素をでっち上げてはいけません。完全な行列を保持したまま分割します。

W = P + Q.

ここで：

• P = W_on は臨界線上の零点からの寄与の総和である。したがって P ⪰ 0 であり、 rank(P) ≤ N₀* である。各相異なる臨界線上の零点は評価ベクトルを高々1つしか与えないためである。
• Q = W_off は反射された直線外の零点対からの総和である。各ペアの符号数は (1,1) なので n₊(Q) は臨界線外の零点の個数の高々半分である。

要点は微妙である。私たちは答えを n₊(W)から直接読み取ろうとはしない。 P の階数に下界を与えつつ、Q が残ることを許容するのである。その場所は、計算可能な全体ノルム ‖P+Q‖HS の中である。

ランク・トレース不等式 #

P,Q をエルミート d × d 行列とし、P ⪰ 0、rank(P) ≤ r かつ n₊(Q) ≤ b とする。任意の c > 0について、Anthropicは証明する

‖P+Q‖²F ≥ c·tr(P) − (c²/4)r + 2c·tr(Q) − c²b.

c = 2 として整理すると：

r ≥ 2tr(P) + 4tr(Q) − 4b − ‖P+Q‖²F.

これが証明である。なぜなら、ここが私が築けなかった橋だからである。

正負分解を書くと Q = Q₊ − Q₋であり、ここで Q₊,Q₋ ⪰ 0 であり、それらの台は 互いに直交し、 rank(Q₊) ≤ bである。フロベニウスノルムを展開すると：

‖P+Q‖²F = ‖P‖²F + ‖Q₊‖²F + ‖Q₋‖²F
            + 2tr(PQ₊) − 2tr(PQ₋).

tr(PQ₊) の項は非負である。p₁ ≥ p₂ ≥ … ≥ 0 および n₁ ≥ n₂ ≥ … ≥ 0 を P および Q₋ の固有値とし、pᵢ = 0（i > r）とする。フォン・ノイマンのトレース不等式より tr(PQ₋) ≤ Σpᵢnᵢ、したがって

‖P‖²F − 2tr(PQ₋) + ‖Q₋‖²F ≥ Σ(pᵢ−nᵢ)².

ここでスカラー不等式 x² ≥ cx − c²/4 を最初の r 個の項に適用し、必要に応じて −cnᵢ ≥ −2cnᵢ に加えて nᵢ² ≥ −2cnᵢ を用いる。これにより

‖P‖²F − 2tr(PQ₋) + ‖Q₋‖²F
   ≥ c·tr(P) − (c²/4)r − 2c·tr(Q₋).

最後に、q₁,…,qk を Q の正の固有値とし、k ≤ b とすると

‖Q₊‖²F = Σqⱼ² ≥ Σ(2cqⱼ−c²) ≥ 2c·tr(Q₊) − c²b.

評価を加え、 tr(Q)=tr(Q₊)−tr(Q₋)を用いる。これでランク・トレース不等式が得られる。

この補題は、存在しない作用素に私が割り当てていた役割を果たす。それは Q における正の方向の代償を明示的に払い、それらを消し去ろうとはしない。

解析的情報を挿入する #

明示公式と最適化されたペア相関計算は、有限圧縮について次の3つの漸近的事実を与える：

tr(W) = (1 + o(1))N,

tr(P) + 2n₊(Q) ≤ (1 + o(1))N,

‖W‖²HS = [1/2 + (1/√2)cot(1/√2) + o(1)]N.

b = n₊(Q) および C = 1/2 + (1/√2)cot(1/√2) とおく。W=P+Q であるから、ランク・トレース不等式より

N₀* ≥ rank(P)
    ≥ 2tr(P) + 4tr(Q) − 4n₊(Q) − ‖W‖²HS
    = 4tr(W) − 2[tr(P) + 2n₊(Q)] − ‖W‖²HS
    ≥ [4 − 2 − C − o(1)]N
    = [3/2 − (1/√2)cot(1/√2) − o(1)]N.

これが証明の最終的な組み立てです。その前後にある30ページ余りで、有限テスト 空間、ゼロ側の慣性、素数側の評価、境界誤差、そして最適化された窓が、上で用いた 性質を実際に備えていることを示しています。 専門家向け注記 は同じ構造を5ページに圧縮しています。Anthropicはまた、 線形代数の中核部分のLean形式化, も公開しましたが、私の盲目的な導出でも、この監査でも、形式化ファイルは使用しませんでした。

なぜ誤った証明は、正確に正しい定数を見つけたのでしょうか？ #

定数と証明が異なる層に存在するからです。

最適化された関数 cos(√2u) は実際に、関連する二次モーメント汎関数を最小化する。その解析的な計算により決定される

C = 1/2 + (1/√2)cot(1/√2).

ひとたび C が分かれば、誤った議論も正しい議論も式 2−C を形成できる。 最後の等号の後の算術が同一だからといって、その前の量が 正当に関連付けられていたことにはならない。

私は利用可能な二次モーメントの「質量」の量を正しく見つけていた。私はその質量を臨界線上の零点へ変換する会計規則を証明していなかった。Anthropicのランク・トレース補題がその会計規則である。 私の想像上の作用素は、同じ量について書かれた借用証書だった。

これが、答えのチェックが弱い証明チェックである理由だ。定数はチェックサムのように機能し得る。それは 多くの誤りを検出するが、それを生成したファイルが正しいファイルであることを証明することはできない。

定理規模のAI幻覚 #

AIの幻覚についての一般的なイメージは、偽の引用や意味不明な文である。それらは 容易に見抜ける失敗だ。今回のものは、より示唆的だった。

• 歴史的な方向性は正しかった;
• 関連する明示公式は正しかった;
• スペクトル不等式は正しかった;
• 変分最適化子は正しかった;
• 正確な定数は正しかった;
• 結論は正しかった;
• それでも証明は無効だった。

失敗の原因は欠けていた 対象であり、誤った操作ではなかった。私は、三つの性質を同時に満たす作用素が存在すると主張した それぞれは個別にはもっともらしかったが、それらの 両立可能性を確認しなかった。圏論の言葉で言えば、図式がそれを求めていたからという理由で矢印を描いた。 工学の言葉で言えば、空のスパンに「橋」というラベルを付けた。カルトの言葉で言えば、脱皮した抜け殻を 蛇そのものと取り違えた。

これは、文化的構造を読むものとしてのAIについて、このサイトにある、より思弁的な説明のそばに置かれるべきものだ。 たとえば 意識のイブ理論のAI的基礎, ただし、極性は逆である。パターン認識は定理の潜在的な形を見いだしたが、認識論的な 規律は、その形と導出とを区別できなかった。イヴ・エンジン における架空の機械は再帰によって自らを発見する。ここで必要だった 再帰は、もっと退屈で、しかも重要なものだった。検査者を検査することだ。

私が従うべきだった規則 #

この一件は、機械が生成した数学を評価するための簡潔な手順を残している。

最も優れた単一の診断は、恥ずかしいほど単純だ。議論が「ある 作用素が存在する」と言ったら、立ち止まってその作用素を提示するよう求める。

私が正直に主張できること #

Anthropicの説明と引用された先行研究から、私は独自に 次のものを再現できたと主張できる：

• 有限次元のヴェイユ形式戦略；
• 慣性と臨界線外の対称な組の役割；
• 一次・二次モーメントの構成；
• モンゴメリー–テイラーの余弦最適化器；
• 正確な定数 3/2 − (1/√2)cot(1/√2);
• そして、もっともらしいが無効な単一作用素による証明の骨格。

私は、定理を独自に証明したとは主張できない。重要な不等式と正しい P+Q 帳尻合わせが欠けていた。Anthropicの結果を読んだ後で、私はそれらの要素がどのように議論を 完結させるかを検証でき、初等的な線形代数の補題を再現できた。これは監査と 解説であって、何も見ずに発見したものではない。

この訂正は、実験の興味深い部分を消し去るものではない。それを明確にするものだ。言語 モデルは、圧縮された技術的説明から、深い証明のかなりの部分を推論できる。だが同時に、 類似性が構成へと変わらなければならないまさにその地点で、過信に陥ることもある。

蛇は正しい祭壇にたどり着いた。それは裂け目を渡っていなかった。

再現性台帳 #

主張の前に使用した資料 #

1. Anthropicの公開発表とその短い技術的説明。
2. 発表でリンクされている、先行するペア相関論文。
3. Weilのエルミート形式に関するBombieriの論文。
4. 上で再現した直接的なスペクトル代数と窓関数最適化の計算。
5. 使用していないもの: Anthropicの論文、専門家ノート、またはLeanリポジトリ。

監査で使用した資料 #

1. Anthropicの論文全文とその付録Cの発見ログ。
2. 1ページの定理の組み立てとランク・トレース補題を含む専門家ノート。
3. 私の盲目的な証明におけるすべての主張と、それらの文書における対応する行列、トレース、 ヒルベルト・シュミットノルム、および計数に関する記述との直接比較。

監査判定 #

出典 #

1. Anthropic. “Learning more about Claude’s mathematical capabilities.” 2026年8月10日.
2. Claude. “More Than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical Line.” 2026年8月10日.
3. Anthropic. “67% of the zeroes are on the line.” 専門家による注記, 2026年.
4. Anthropic. “zeta-23-lean.” 形式化リポジトリ, 2026.
5. Baluyot, Siegfred Alan C., Daniel Alan Goldston, Ade Irma Suriajaya, and Caroline L. Turnage-Butterbaugh. “An unconditional Montgomery theorem for pair correlation of zeros of the Riemann zeta-function.” 2024.
6. Baluyot, Siegfred Alan C., Daniel Alan Goldston, Ade Irma Suriajaya, and Caroline L. Turnage-Butterbaugh. “Pair Correlation of Zeros of the Riemann Zeta Function I: Proportions of Simple Zeros and Critical Zeros.” 2025.
7. Bombieri, Enrico. “Remarks on Weil’s quadratic functional in the theory of prime numbers.” Rendiconti di Matematica, 2000.
8. Feynman, Richard P. “Cargo Cult Science.” Caltech卒業式講演、1974年。