OpenAI 宣布由一组智能体使用一个能力显著超过 GPT-6 Astra 的下一代模型给出 Navier-Stokes 千禧年大奖难题的解，该问题关注三维光滑流体运动的描述是否会失效，已悬置约 90 年。
原文补充了数据隔离说明，并指出其 Euler 情形证明结果与 Alpöge 和 Buckmaster 的工作不同，读者可据此比较两条独立证明路径。
我们祝贺 Levent Alpöge 和 Tristan Buckmaster 在数学领域取得的卓越成就。
在他们公开发布成果之前，我们（研究人员和智能体）没有通过任何途径看到他们的工作——特别是，我们没有访问任何特定用户数据来解决这个问题。
虽然可能性不大，但我们无法排除从他们使用我们产品所获得的去标识化数据帮助改进了我们模型的可能性。
然而，我们的证明存在显著差异，而且在欧拉情形下，所证明的具体结果也有所不同（受迫与不受迫）。
我们正在分享一个针对纳维-斯托克斯千禧年大奖难题的解决方案，这是数学前沿最深刻的问题之一。 该证明由一组智能体完成，使用了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.
来源：OpenAI · x.com