「Claude 解决纳维-斯托克斯」是谣言：无论文无提交，千禧奖规则也不容推文领奖
johnseach · x · 2026-09-06
「Claude 解决了纳维-斯托克斯方程」的传闻流传甚广，但这篇核查指出它没有公开证据支撑。
- 无任何官方痕迹：没有 Anthropic 论文、博客、Lean 仓库，也没有向克雷数学研究所（CMI）提交 3D 不可压缩纳维-斯托克斯存在性与光滑性问题的证明。
- 传闻源头是一条预测推文：称 Claude 已解决、证明「在专家评审中」、公司将在 IPO 前宣布——这是预测不是结果。预测市场也按可能性定价：IPO 前宣布的盘口仅十几个百分点，2026 年底前解决远低于对半。
- 千禧奖规则严格：证明须发表于世界级同行评审期刊，再经两年社区审查，CMI 不接受直接提交，即便真证明也不会立刻获奖。
- 确有其事的相关成果：Claude 确有 2026 年真实数学工作——黎曼 zeta 零点更强界、雅可比猜想反例提案、费马大定理的机器检验形式化；DeepMind 也找到相关流体方程的新奇点候选。
- Terence Tao 表态：他不了解该问题有任何重大进展，并重申此前警告——一个不透明、形式化验证的 AI 证明即使关闭了命题，若无人能从中学习，领域依然受损。
结论：在出现论文、证明助手工件和专家审查之前，「Claude 解决纳维-斯托克斯」只是社交媒体天气，不是数学。
「模型」频道最新
- 用户称 GPT-6 Astra 五分钟找出 176 倍代码提速,另一人笑称自己代码无可优化 — ivan_bezdomny · 2026-09-06
- 博主称中国实验室已破解参数扩展,约需半年追平 Astra 级 — zephyr_z9 · 2026-09-06
- 数月数学证明工作，Astra 26分钟给出38页常数规模版本 — kfountou · 2026-09-06
- 实测 Astra:单文件 Minecraft 一次成型,145 分钟跑通完整世界模拟 — tegridyblues · 2026-09-06
- 推测算力被预训练占用,Claude 开发者体验持续恶化 — ATTlKA · 2026-09-06
- 普通用户盲测 Gemma 4 26B A4B,称与 SOTA 模型无感知差距 — TheMoonMidas · 2026-09-06