悬了 167 年的数学难题：人类 37 年只推 0.8%，AI 一天半追了 26%

一个诞生于 1859 年的数学猜想，悬而未决 167 年，还挂着 100 万美元奖金。最近 Anthropic 让自家未发布的 Claude 认真去试了一下，结果黎曼猜想没被攻克，却意外干出了一件让数学家坐不住的事。

人类此前 37 年，只把这个问题的关键数字推进了 0.8 个百分点；而 Claude 用一天半时间，一口气推进了 26 个百分点。有研究者评价，这可能是解析数论领域十几年来最重要的进展。

更难得的是它的态度。Claude 前后提出了 650 个思路，全部失败，没有硬吹。它把自己组织的 60 个子智能体派出去，跑了上千次数值检验，最后主动说"建议找个真正的数学家来验证"。Anthropic 也确实请了两位专家审阅，还给出了机器可检查的证明。

说实话，黎曼猜想离被证明还远得很，AI 也没"攻克"它。但这件事传递的信号很明确：AI 第一次在数学研究里触及了"没有现成答案"的问题，而且它知道自己什么时候没把握。

从辅助工具到独立科研伙伴，这一步，可能比想象中来得快。

ai 人工智能 AI前沿