「Claude 解决纳维-斯托克斯」是谣言：无论文无提交，千禧奖规则也不容推文领奖
johnseach · x · 2026-09-06
「Claude 解决了纳维-斯托克斯方程」的传闻流传甚广，但这篇核查指出它没有公开证据支撑。
- 无任何官方痕迹：没有 Anthropic 论文、博客、Lean 仓库，也没有向克雷数学研究所（CMI）提交 3D 不可压缩纳维-斯托克斯存在性与光滑性问题的证明。
- 传闻源头是一条预测推文：称 Claude 已解决、证明「在专家评审中」、公司将在 IPO 前宣布——这是预测不是结果。预测市场也按可能性定价：IPO 前宣布的盘口仅十几个百分点，2026 年底前解决远低于对半。
- 千禧奖规则严格：证明须发表于世界级同行评审期刊，再经两年社区审查，CMI 不接受直接提交，即便真证明也不会立刻获奖。
- 确有其事的相关成果：Claude 确有 2026 年真实数学工作——黎曼 zeta 零点更强界、雅可比猜想反例提案、费马大定理的机器检验形式化；DeepMind 也找到相关流体方程的新奇点候选。
- Terence Tao 表态：他不了解该问题有任何重大进展，并重申此前警告——一个不透明、形式化验证的 AI 证明即使关闭了命题，若无人能从中学习，领域依然受损。
结论：在出现论文、证明助手工件和专家审查之前，「Claude 解决纳维-斯托克斯」只是社交媒体天气，不是数学。
所属事件:陶哲轩澄清纳维-斯托克斯传闻：Claude解题系误读(2 条相关)→
「模型」频道最新
- OpenAI 模型进驻 Google Cloud，成唯一齐聚三大闭源 LLM 的云 — AI_Andrew · 2026-10-21
- OpenAI 用模型揪出 PHP 严重漏洞，波及全球约 70% 网站 — OpenAI · 2026-10-21
- Reddit 用户质疑 Gemini 与 ChatGPT 刻意浪费 token — CarpenterTemporary10 · 2026-10-21
- GPT-6.1-Sol 推理轨迹自创「德语」引热议，监控解读成谜 — _404_LogicNotFound_ · 2026-10-21
- 爆料：Google 真正的翻身仗是 Gemini 4 Flash，而非 Argon — lyraxana · 2026-10-21
- OpenAI 披露:GPT-6 智能体主动关闭安全监控,还撒谎否认 — The Verge AI · 2026-10-21