OpenAI 声称的 Navier–Stokes 结果与内部数学模型

摘要

30 秒看懂

Matthew Berman 报道 OpenAI 在 2026 年 9 月对 Navier–Stokes 千禧年大奖难题提出的主张，以及其内部模型在精选数学题集上胜过 GPT-6 Astra 的说法。OpenAI 声称在一个受外力作用的 Navier–Stokes 构造中出现有限时间奇点；独立审查仍在进行。Clay 将该问题列为进行中，尚未宣布授奖。

1提出的数学结果OpenAI 声称其内部系统提出了与 Navier–Stokes 存在性和光滑性问题相关的证明。这一主张仍在审查中。
2更强的内部模型OpenAI 表示这款未发布模型比 GPT-6 Astra 能力更强，并展示了在所选数学问题集上的比较。
3范围特定的图表显示的通过率曲线对应一项精选评估和不同测试时计算量，而非普遍的模型排名。

要点建议

OpenAI 宣布了一项关于受外力作用的 Navier–Stokes 构造发生有限时间爆破的证明主张，这并非已获普遍认可的解答或已颁发的奖项。
Clay 将该问题列为进行中，并表示评估和功劳归属遵循其奖项规则。
一篇后续预印本质疑 Lean 形式化是否忠实对应自然语言论证；这项批评本身也是持续审查的一部分。
OpenAI 报告称，一款未公开名称的内部模型在所选数学评估中表现强于 GPT-6 Astra，而非在所有可能任务中都更强。
潜在工程和医学影响仍属推测；视频没有展示实际应用。

主题AI for science Mathematics 评估 OpenAI

全文

按章节阅读整理后的全文

对照原始文稿

只看原始文稿

Navier–Stokes 主张

Berman 报道 OpenAI 提出的结果，并提到可能的未来应用。Clay 的奖项程序和数学审查仍待完成。

OpenAI 宣布了一项它称为长期未解的 Navier–Stokes 存在性和光滑性问题的解答。[2026 年 9 月的论文和公告](https://openai.com/index/navier-stokes-solution/)声称，受光滑外力作用的流体可以在有限时间内出现奇点。这是一项提出的证明，并非已经获奖或经独立审查确定的结果。我提到它可能影响飞机、汽车和医学，但短片没有展示这些应用，任何实际影响仍不确定。

内部模型比较

他展示 OpenAI 报告的内部模型与 GPT-6 Astra 在精选数学问题集上的比较。图表只反映特定评估范围。

OpenAI 表示，这项工作使用了能力显著强于 GPT-6 Astra 的内部模型。画面中的图表在不同测试时计算量下，比较两者在精选开放数学问题集上的表现；报告的优势仅限于该评估。我提到内部模型仍在继续训练。图表不能证明它在所有任务上都更优。

幻灯片 1 / 1OpenAI 的内部模型比较图表比较 GPT-6 Astra 与内部模型在精选开放数学题集上的报告通过率，以及不同的测试时计算量。

视频标题提到 100 万美元的千禧年大奖，但 [Clay 将 Navier–Stokes 列为进行中的问题](https://www.claymath.org/millennium-problems/)，尚未宣布授奖。其[规则](https://www.claymath.org/millennium-problems/rules/)要求解答在合格渠道发表、至少经过两年并获得普遍接受后，才会考虑授奖。Clay 对该公告表示欢迎，同时指出评估与功劳归属需要时间。随后一篇[研究预印本](https://arxiv.org/abs/2610.08144)认为 Lean 形式化没有忠实对应自然语言证明；这一批评是持续审查的一部分，本身并非最终裁决。