Rumor: Anthropic's Claude Solved Navier-Stokes; Tao Denies
A viral rumor claims Anthropic's Claude solved the Navier-Stokes existence and smoothness problem, a Millennium Prize Problem, based on a speculative post by Andrew Curran and a thought experiment by mathematician Terence Tao. Tao's posts discussed AI's potential to solve major open math problems, but he later clarified he was not implying Claude had solved it. No paper, proof, or review materials have been publicly released, and the Clay Mathematics Institute still lists the problem as unsolved.
Coverage timeline
机器之心机器之心
过去一天，一条关于 Claude 的数学传闻在社交媒体上迅速扩散。 昨天，博主 Andrew Curran 发帖「预测」，Anthropic 已经解决了一个千禧年大奖难题，即纳维-斯托克斯方程相关的存在性与光滑性问题，目前成果正在接受专家评审，并可能在 Anthropic IPO 前对外公布。 这条帖子很快获得超过 250 万次浏览，也被越来越多账号转发。 截至目前，公开渠道中还看不到对应论文、证明文本或专家评审材料，Clay 数学研究所仍将纳维-斯托克斯存在性与光滑性问题列在未解决的千禧年大奖难题中。 不过，这条传闻并非空穴来风。它的一个重要背景，来自数学家陶哲轩两天前发布的一组帖子。 一篇关于 AI 的假想 9 月 3 日，陶哲轩以纳维-斯托克斯方程为例，讨论 AI 解决重大开放数学问题之后，可能给数学研究带来的影响。 https://mathstodon.xyz/@tao 纳维-斯托克斯方程描述水、空气等流体如何运动。数学家真正悬而未决的问题，是三维不可压缩情况下，从光滑初始状态出发，解能否始终保持光滑，还是会在有限时间内形成奇点。这个问题已经被 Clay 数学研究所列为千禧年大奖难题，奖金为 100 万美元。 陶哲轩在帖子里设想了一种未来可能出现的研究流程：自主 AI 系统拥有大量计算资源，可以持续尝试不同的数学构造，分析失败原因、调整方案、验证结果，最终形成一个极其复杂的候选证明，并用 Lean 等形式化证明系统完成机器验证。 他的重点是这个过程中产生的数学知识如何保存下来。 在传统数学研究中，一个困难问题往往会在多年探索中产生大量副产品：新的引理、新的工具、新的研究方向，以及之后值得继续研究的问题。陶哲轩担心，如果 AI 在封闭环境中完成整套探索，人类最终拿到一份已经验证完成的结果，很多有价值的中间路径可能很难进入数学共同体。 帖子中的场景写得相当具体：AI 搜索候选结构、进行数值检验、形成庞大的 Lean 证明文件，最后解决纳维-斯托克斯正则性问题。 于是，互联网熟悉的剧情出现了。 一些人开始猜测，陶哲轩是否掌握了尚未公开的信息。社交平台上很快出现「陶哲轩是不是在暗示 Claude 已经解决了纳维-斯托克斯」的讨论，随后 Curran 又给出了更加明确的预测：「Claude 已经解决了纳维-斯托克斯。」这一说法由此迅速传播。 随着猜测扩大，陶哲轩随后专
