OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，该问题关注 Navier-Stokes 方程描述的三维光滑流体运动是否会失效，约 90 年未解决。证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 下一代模型产出。Greg Brockman 称这是 AI 与数学的里程碑，希望相关知识帮助社区更好理解用于建模物理世界的非线性 PDE。
宣布解决纳维-斯托克斯问题，这是七大千禧年大奖难题之一。
这标志着人工智能与数学领域的一座重要里程碑，同时也预示着科学发现领域即将迎来一场复兴。
希望该模型所创造的知识能够帮助学界更好地理解非线性偏微分方程，这些方程被广泛用于对物理世界中的诸多现象进行建模。
我们正在分享一个针对纳维-斯托克斯千禧年大奖难题的解决方案，这是数学前沿最深刻的问题之一。 该证明由一组智能体完成，使用了OpenAI的下一代模型，其能力显著超越GPT-6 Astra。 该问题关乎由纳维-斯托克斯方程建模的光滑三维流体运动描述是否会失效。这一问题已悬而未决约90年。
原文
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
来源：Greg Brockman · x.com