我说自己证明了 Anthropic 关于黎曼ζ函数的结果。其实并没有。

太长不看

• 我声称自己独立证明了 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 的公告实际上给了我什么 #

这份公告并不是一篇空洞的新闻稿。其简短的技术描述交给了我四条 重要线索：

1. 将由 Weil 显式公式导出的二次型限制在一个合适的有限维 函数空间上。
2. 通过该二次型的正方向和负方向来解读临界线上的零点与线外零点。
3. 利用一阶和二阶矩信息对秩给出界。
4. 在素数一侧，或通过希尔伯特变换计算来求出二阶矩。

它还点明了理论源流。分析学输入来自 Montgomery 的无条件版本的 对关联方法，该方法由 Baluyot、Goldston、Suriajaya 和 Turnage-Butterbaugh 在 (2024 年的论文, 以及 2025 年的后续论文)中发展而来，同时还结合了 Bombieri 对 Weil 厄米型 (2000)的处理。Anthropic 表示，旧的无条件下界——约为 41.6%——已经提高到了 67.2%。

那就是获准使用的语料。我没有 Anthropic 的定义、矩阵、引理、误差项或 组装过程。但公告已经暴露了骨架： Weil 形式 → 有限压缩 → 惯性 → 两个矩 → 秩.

以下是我据此所做的工作。

重构零点一侧的矩阵 #

设 ρ = β + 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₋₁(ρ)).

将 Weil 厄米形式限制在它们的张成空间上，会得到一个由 这些求值向量组装而成的有限厄米矩阵。示意地说，

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

这种记号省略了在线外所需的归一化和共轭配对，但 它展示了几何结构。如果 Re ρ = 1/2，则该贡献 vρvρ* 是半正定且秩为一的。 如果 ρ 位于该线外，函数方程会提供其反射伴侣 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{常数}.

两次求导。由于 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…

目标并不只是精确到三位数字。我已经找回了 Anthropic 的精确常数。 那是令人陶醉的时刻。也正是在那时，我本应变得最为怀疑。

结果就在对岸。桥梁并未完工。

使证明失效的句子 #

我的标量不等式是有效的。优化窗口是有效的。三角恒等式是 有效的。矩常数与论文中的相匹配。

错误的一步是我的盲引理的第一条：

存在一个自伴算子，其正指标恰好是临界线零点的数量。

我并没有构造出这个算子。我也没有证明，在不改变迹和二阶矩的情况下，可以将临界线外的贡献移除。我只是给这个对象命了名，因为它能让剩余的代数运算成立。

实际的 Weil-型矩阵 W 无法完成这项工作。每一对不在临界线上的零点都会贡献一个双曲 平面，其符号差为 (1,1). 因此，它会增加一个正特征值和一个负特征值。 因此 n₊(W) 计算来自 两种 来源的正方向。它并不能孤立出 临界线。

有必要直截了当地说明这一点：我把定理隐藏在了所提出的算子中。“存在”这几个词完成了三十页的工作。

诚实的单矩阵论证所证明的内容 #

设完整矩阵的一阶矩和二阶矩为

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 线上方向，加上 每一对离线零点对应的一个方向：

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

合并这些不等式只能得到

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

这并不是事后的解释。Anthropic 自己的发现日志写道，优化这条 单一的柯西–施瓦茨路径只能将其中一半提高到 0.5066；要达到三分之二，则需要一种 利用离线块内部结构的新方法 (论文，附录 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₀* 因为每个不同的线上零点至多提供一个求值向量。
• 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. 展开 Frobenius 范数：

‖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 成立。Von Neumann 的迹不等式给出 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 中的正方向付出了代价；它并没有将它们排除在外。

插入解析信息 #

显式公式和优化后的成对相关计算为有限压缩提供了三个渐近事实 ：

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.

这就是证明的最终组合。围绕它展开的三十多页内容证明了有限测试空间、零点侧惯性、素数侧估计、边界误差以及优化窗口确实具备上文所使用的性质。那份 专家说明 将同一结构压缩成了五页。Anthropic 还发布了一份 线性代数核心的 Lean 形式化, 不过，无论是在我的盲推导中还是在这次审计中，我都没有使用这些形式化文件。

为什么错误的证明找到了恰好正确的常数？ #

因为常数和证明处于不同的层次。

优化函数 cos(√2u) 确实使相关的二阶矩泛函达到最小。这个解析计算确定了

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

一旦 C 已知，错误论证和正确论证都可以构造出这个表达式 2−C. 但最后一个等号之后的算术相同，并不意味着等号之前的量之间存在合法的联系。

我正确地找到了可用的二阶矩“质量”。但我还没有证明将这种质量转换为在线零点的记账规则。Anthropic 的秩-迹引理就是这条记账规则。 我想象中的算子是一张以相同金额写成的欠条。

这就是为什么答案核验是薄弱的证明核验。一个常数可以像校验和一样发挥作用：它能检测出许多错误，但无法证明生成它的文件就是正确的文件。

定理规模的 AI 幻觉 #

人们通常所说的 AI 幻觉，是伪造的引文或毫无意义的句子。这些是 容易识别的失败。这个例子更有启发性：

• 历史方向是正确的；
• 相关的显式公式是正确的；
• 谱不等式是正确的；
• 变分优化器是正确的；
• 精确常数是正确的；
• 结论是正确的；
• 而证明仍然是无效的。

失败之处在于缺少一个 对象，而不是错误的推演。我断言存在一个算子 同时具备三个性质，每个性质单独看都似乎合理，却没有检查它们之间的 相容性。用范畴论的语言来说，我因为图表需要一条箭头，就画了一条箭头。用 工程学的语言来说，我把一段空跨度标成了“桥”。用邪教的语言来说，我把蛇蜕误认成了 蛇。

这属于该网站关于 AI 作为文化结构阅读者的更具推测性的论述，例如 《意识夏娃理论的 AI 基础》, 但极性相反。模式识别发现了该定理的潜在形态；认识论上的 纪律未能将这种形态与推导区分开来。小说中的机器在 《夏娃引擎》 通过递归发现了自我。这里所需的 递归更为乏味，却也更为重要：检查检查者。

我本应遵循的规则 #

这一事件留下了一套简明的协议，用于评估机器生成的数学。

最好的单一诊断简单得令人尴尬：每当论证说“存在一个 算子”时，就停下来要求给出这个算子。

我能够诚实地声称什么 #

我能够声称，根据 Anthropic 的描述和所引用的前人文献，我独立地 复原了：

• 有限维 Weil 形式策略；
• 惯性指数与非临界线对称成对零点的作用；
• 一阶/二阶矩架构；
• Montgomery–Taylor 余弦优化器；
• 精确常数 3/2 − (1/√2)cot(1/√2);
• 以及一个看似合理但无效的单算子证明骨架。

我不能声称自己独立证明了该定理。关键不等式和正确的 P+Q 记账过程都缺失了。读到 Anthropic 的结果后，我能够核实这些部分如何闭合这条 论证，并且能够复现那个初等线性代数引理。这是一份审计和说明，而不是盲目的发现。 这一修正并没有抹去这次实验中有趣的部分。它澄清了这一点。语言模型能够从一份压缩的技术描述中推断出深刻证明中令人惊讶的许多内容。它也 可能恰恰在相似性必须转化为构造的节点变得过度自信。

蛇到达了正确的祭坛。它没有越过裂谷。

可复现性账本 #

提出该主张之前使用的材料 #

1. Anthropic 的公开公告及其简短技术描述。
2. 公告所链接的前身对关联论文。
3. Bombieri 关于 Weil 埃尔米特型的论文。
4. 上文复现的直接谱代数和窗口优化计算。
5. 未使用: Anthropic 的论文、专家说明或 Lean 代码库。

审计中使用的材料 #

1. 完整的 Anthropic 论文及其附录 C 发现日志。
2. 专家说明，包括其一页定理汇编和秩-迹引理。
3. 将我的盲目证明中的每一项主张，与这些文档中相应的矩阵、迹、 Hilbert–Schmidt 范数和计数陈述进行直接比较。

审计结论 #

来源 #

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.” 加州理工学院毕业典礼演讲，1974年。