Anthropic Claude研究版在黎曼猜想研究中刷新37年数学纪录：将ζ函数零点下界从41.6%提升至67.2%

事件概况

8月11日，Anthropic披露其未发布的Claude科研版（Research Build）在尝试攻克千禧年数学难题黎曼猜想的过程中，取得了该领域近37年来最大的突破。

研究成果

核心突破

Claude在尝试证明黎曼猜想的过程中，显著提升了ζ函数零点下界：

• 此前纪录：41.6%（Brian Conrey于1989年创造，维持37年）
• Claude新纪录：67.2%
• 提升幅度：25.6个百分点
• 历史对比：37年间累计进展不到10个百分点

研究方法

Claude在研究中展示了高度自主的科研能力：

• 尝试了数百种不同方法寻找突破口
• 协调多个子Agent进行数值验证
• 最终重新证明了其发现
• 生成Lean形式化证明（形式化验证语言）

计算资源

• 生成了约3100万tokens输出
• 跨越2个会话
• 参考了54篇arXiv论文

验证过程

数学验证

• Anthropic内部两位数学家研究并验证了Claude的论文
• 撰写了正式的技术说明
• Brian Conrey（原纪录保持者）和Dan Goldston在短时间内审阅了论文

验证状态

• 目前仍属于预印本声明，尚未经过正式同行评审
• Conrey和Goldston的审阅属于"快速响应"，非正式评审
• 数学界正在评估这一突破

Anthropic的回应

Anthropic表示：“我们不指望Claude所用的技术能最终证明黎曼猜想，但这项工作再次展示了AI模型数学能力进步的速度。”

行业影响

对AI科研能力的影响

• 展示了AI在纯数学研究中的能力
• AI不仅能辅助计算，还能发现新的数学定理
• 数学研究可能成为AI的重要应用领域

对数学研究的影响

• 67.2%的下界可能需要数月或数年才能被同行验证
• 但这一突破展示了AI加速数学研究的可能性
• 数学家可能将AI作为研究伙伴而非工具

后续观察

Claude的这一突破是否通过正式同行评审、AI在数学研究中的更多应用、以及Anthropic是否会将此能力整合到产品中，将是关键观察点。