纳维-斯托克斯被证明了吗？OpenAI 的证明展示了什么，又为何有争议
来源：dev.to — 2026-09-28
📋 概述
2026 年 9 月 8 日，OpenAI 发布了一份证明，声称纳维-斯托克斯方程可以「爆破解」——一个光滑的三维流体在被光滑外力推动时，可以在有限时间内达到无穷速度，这会解决一个悬置约 90 年的克莱千年奖问题。内部模型以大约一万个智能体运行 88 小时找到它，消耗 270 万条消息与约 1300 亿输出 token。12 小时前，一位 NYU 教授发表声明，称 OpenAI 是在听闻他本人的相关工作之后才启动这次运行的。对开发者而言还有第二个故事：这些教授的草稿已经放进 Codex 里用了一年，而 OpenAI 的公告中对此只有一条脚注。
🔑 核心要点
- OpenAI 称内部模型「显著强于 GPT-6 Astra」，产出了证明及 Lean 形式化，解决了克莱问题中关于光滑性失效的部分。
- 这次运行动用约一万个并发智能体、270 万条消息、1300 亿输出 token，按 GPT-6 Astra 标价约 650 万美元，而奖池是 100 万美元且 OpenAI 表示不领取。
- NYU 的 Tristan Buckmaster 与 Anthropic 的 Levent Alpöge 在 8 月 15 日已用 Claude 和 Codex 得到欧拉方程的爆破解，其声明称 OpenAI 的第一个提示出现在「我们工作的信息传到 OpenAI 之后」。
- OpenAI 表示没有人查看过他们的工作或用户数据，但承认 「无法排除由他们使用我们产品的行为所衍生的去标识化数据帮助改进了我们的模型」。
- 数学背景：方程描述不可压流体运动，自 1934 年 Leray 起的问题是——三维中初始光滑的解是否永远保持光滑，还是会在有限时间内速度趋于无穷。
💡 金句
我们没有查看他们的工作或用户数据，但我们无法排除：由他们使用我们产品的行为所衍生的去标识化数据，帮助改进了我们的模型。
👍 0
👎 0
← 返回 dev.to 首页