Claude 把黎曼 zeta 函数零点符合猜想的下限从 41.

简单来说，黎曼猜想的核心就在于那些零点是不是都乖乖地排在临界线上。虽然还没能彻底证明所有零点都符合，但这次 Claude 把“已知符合比例”的下限给强行拉高了。从 41.6% 跨越到 67.2%，这意味着我们离真相又近了一大步，而且这完全是通过模型在逻辑推理和形式化证明上的能力实现的。

如果你想复现或者深入研究这个逻辑，可以关注 Anthropic 发布的具体研究路径。这种实战能力最可怕的地方在于，它不再是简单的“预测下一个 token”，而是在处理极高抽象维度的数学推演。

对于想尝试用大模型辅助数学研究的人，我建议的实操流程是：

一、将数学命题形式化
不要直接用自然语言问，尽量把问题转化为 Lean 或 Coq 这种形式化验证语言的描述，这样能极大降低 AI 的幻觉率。

二、构建分步推演工作流
不要让它一次性给出证明，要求它先列出所有依赖的引理，逐一验证后再进行主逻辑合成。

三、交叉验证
将 Claude 产出的证明步骤喂给其他逻辑能力强的模型，或者直接在形式化验证器中跑一遍。

这次突破证明了 LLM 在处理非结构化、高难度逻辑推演时已经有了质变。以前我们觉得 AI 只能写写代码、润色文档，现在它开始在数学最前沿“刷分”了。