OpenAI 宣布下一代模型给出 Navier–Stokes 千禧难题解法
9 月 8 日，OpenAI 公布了一份针对 Navier–Stokes 存在性与光滑性问题的证明，称其内部下一代模型构造出了三维不可压缩 Navier–Stokes 方程的有限时间奇点。该内部模型仍在训练中，OpenAI 称其数学能力“显著强于 GPT-6 Astra”。
公开论文共 165 页。证明从静止、光滑初始状态出发，通过构造一个光滑且具有紧支撑的外力，使流体速度在有限时间内变得无界，同时保持总动能有界。OpenAI 称这满足 Clay 官方问题定义中的反例条件 C，并同时给出对应条件 D 的结果。
OpenAI 表示，最终找到 Navier–Stokes 解法的系统规模约为 1 万个并行代理。代理在启动约 88 小时后得到结果，随后 GPT-6 Astra 又用了约 17 小时完成 Lean 形式化与验证。整个 Navier–Stokes 阶段产生约 270 万条代理消息和约 1300 亿个输出 token。OpenAI 已同时公开数学证明和 Lean 形式化版本。
来源
54
6
5
3
2
1
1September 8, 2026 3K 6 31
