一则「Claude 已解决纳维-斯托克斯方程千禧年难题」的传闻在社交平台迅速发酵，源头之一是 Andrew Curran 的预测性帖子，以及陶哲轩此前围绕 AI 数学研究流程的假设性讨论。陶哲轩随后澄清，他并不了解该问题出现任何重大新进展。与此同时，Anthropic 和 OpenAI 近月披露的多项数学成果，也让外界开始更认真地讨论 AI 介入开放数学问题后的验证、知识沉淀与研究分工变化。

Anthropic披露，尚未发布的 Claude 研究版本在尝试黎曼猜想时未能完成最终证明，但把黎曼 ζ 函数中已知至少位于临界线上的零点比例下界从 41.6% 提高到 67.2%。该结果由 Anthropic 内部数学家研究验证，并给出 Lean 形式化证明，两位数论学者也已审阅论文。整个实验中，Claude 先后提出约 650 个思路，并调动约 60 个子 Agent，在两轮 Claude Code 会话里累计消耗约 3100 万输出 Token。

谷歌DeepMind利用图神经网络研究纳维-斯托克斯方程，发现一类可被数学证明的新解，显示AI正从计算工具走向基础科学研究中的“发现伙伴”。