🧮 AI科研 · 数学前沿

🔥 核心观点：Anthropic 的 Claude 并没有证明黎曼猜想，但它把黎曼猜想一个关键问题的已知下界从约 41.6% 推高到了 67.2%，展示出 AI 从"知识使用者"向"知识生产者"移动的明确信号。

一、先厘清一件事：这不是"证明黎曼猜想"

消息一出，网上不少标题党又开始带节奏，仿佛黎曼猜想已经被 AI 拿下了。必须先把话说清楚：数学证明不是下载进度条，41.6% 到 67.2% 的提升，绝不等于黎曼猜想完成了 67%。黎曼猜想关心的，是非平凡零点是否全部落在临界线上。而 Claude 做出的成果，是把这个"无条件可证明的零点比例下界"往上推了一大截，属于一个重要的相关结果，但离"全部零点都在临界线上"还差得远。

换句话说，这是一个强而有力的方向性进展，它让这个困扰数学界一个半世纪的猜想，多了一块更结实的台阶，而不是直接封顶。搞清楚这一点，是理性评价这件事的前提。

二、"干活的方式"才是真正值得关注的地方

真正让业内兴奋的，不只是结果本身，而是 Claude 的研究方式。据披露，它并不是在"解一道题"，而是调度多个智能体并行寻找路线：阅读论文、编写程序、做数值检查，再让不同智能体互相审查，甚至尝试用 Lean 4 进行形式化验证。这套打法，已经越来越像一个真正的研究团队在协同攻坚。

过去我们说 AI 是"知识的搬运工"，它擅长检索、总结、调用现成结论；但这次它开始主动地组织推理路径、生成可验证的数学对象。这正是从知识的使用者，向知识的生产者迈进的标志性一步——虽然最终仍需数学界独立复核。

三、该欢呼，但也该冷静

这件事的象征意义大于实际意义，至少目前如此。它证明了大模型在数学推理这条路上"能跑通"，但距离 AI 独立攻克黎曼猜想这类世纪难题，中间还隔着可靠验证、超长上下文、形式化落地等多道现实门槛。

所以最稳妥的评价或许是：这是一个漂亮的、方向正确的阶段成果。它提醒我们，AI 正在从写代码、写文案，走向触碰人类智力最坚硬的堡垒。兴奋可以，别过度神话。

综合 Anthropic 官方披露及知乎、今日头条等科技媒体报道 | 2026-08-24