今天一大早，科技圈和数学圈都被一个“惊天大瓜”给砸醒了。

社交媒体上疯狂流传着一个消息：Anthropic 家的 AI 大模型 Claude 竟然把“千禧年大奖难题”给干碎了！

大瓜的最初爆料人是博主 Andrew Curran，他发帖大胆“预测”，称 Claude 已经搞定了纳维-斯托克斯（Navier-Stokes）方程相关的存在性与光滑性问题，相关成果正送交专家评审，甚至豪言 Anthropic 会在 IPO 前正式公布这个大招。

这条帖子瞬间就爆了，几百万的浏览量加上铺天盖地的转发，让吃瓜群众们直呼“AI 终于要替代人类顶级大脑了吗”。

但先别急着献上膝盖，截至目前，Clay 数学研究所依然把这个问题挂在未解决的榜单上，100 万美元的悬赏还在那儿摆着呢。那这股妖风到底是哪刮来的？

陶哲轩的“假想”引发的惨案

其实，这场风波的源头，是菲尔兹奖得主、顶尖数学家陶哲轩前两天发的一组帖子。

9 月 3 日，陶哲轩以“纳维-斯托克斯方程”为例，开了一个脑洞：假如未来有一个计算资源近乎无限的自主 AI 系统，它像开挂一样，不断试错、调整、验证，最后甩出一个长篇大论的复杂证明（比如用 Lean 证明助手生成的文件），直接把这个世纪难题给秒了，会发生什么？

于是，互联网经典传话游戏开始了。网友们自动脑补：“顶级数学家提起某个难题 + 讨论 AI 解决方案 = 他肯定听说了什么内幕 = Claude 已经把题解了！”

眼看传闻越来越离谱，陶哲轩不得不在社交平台上亲自出来“灭火”。

大佬的态度非常严谨：我可不知道有什么实质性进展，那只是个假设！但在当前的 AI 发展速度下，这种假设并非天方夜谭。

【编辑观察】为什么大家对AI秒解数学题深信不疑？

这次的乌龙虽然是个假消息，但能在整个圈子里引发这么大的震动，根本原因是——AI 最近在数学领域的战绩，实在太吓人了。

就在昨天，Anthropic 刚刚大秀了一波肌肉，公布了 Claude 对“费马大定理”的形式化工作。

那可是人类精英耗费漫长岁月才攻克的定理，结果 Claude 只用了 11 天，基本自主搞定了端到端的 Lean 形式化，甩出了约 1300 万行代码，生成了近 3 万个可验证的定理文件！

不仅如此，时间再往前推一个月，内部版的 Claude 甚至已经在探底另一个千禧年难题“黎曼猜想”了。

隔壁的 OpenAI 也没闲着，今年 5 月，他们的模型直接构造出了新的单位距离点集，推翻了离散几何领域围绕 Erdős 平面单位距离问题的一个长期猜想。

短短几个月，AI 在数学圈的定位已经从“做奥数题的优等生”变成了“向人类数学最高峰发起冲锋的怪物”。这也难怪随便一点风吹草动，大家就会认定 AI 又颠覆了某个基础学科。

知识的“机会成本”与未来的数学家

陶哲轩在澄清之余，抛出了一个极其硬核且无奈的现实议题：“机会成本”。

在人类传统的数学研究中，攻克一个世纪难题的过程往往比结果本身更具价值。几代数学家在验证过程的“弯路”中摸爬滚打，由此诞生了无数的新工具、新引理甚至全新的研究分支。

如果 AI 像一个黑匣子，在封闭的服务器里疯狂迭代，然后直接把最终答案“糊”在你脸上，人类虽然拿到了 100 分的试卷，却丢失了最宝贵的演算过程。

当答案变得越来越“便宜”，人类研究者真正的稀缺价值在哪里？

在陶哲轩构想的“大数学（Big Math）”时代，如果常规推导、计算实验甚至形式化验证都可以丢给 AI，未来的数学家可能会更像是一个项目架构师。人类的核心任务将转向提出好问题、设计研究路线，以及把 AI 产出来的“天书”逆向翻译成人类能理解的理论体系。

关于 Claude 终结纳维-斯托克斯方程的传闻，目前看来只是个乌龙。但它留给我们的震撼绝不亚于一次真正的技术突破：曾几何时，“AI 解决千禧年难题”听起来就像科幻小说里的爽文设定；而到了 2026 年，全人类不仅开始相信它的发生，更在认真思考——当那一天真的降临，我们该如何应对。