OpenAI 智能体团队宣布求解 Navier-Stokes 千禧年大奖难题并向独立证明者致贺

原文补充了数据隔离说明，并指出其 Euler 情形证明结果与 Alpöge 和 Buckmaster 的工作不同，读者可据此比较两条独立证明路径。

OpenAI 宣布由一组智能体使用一个能力显著超过 GPT-6 Astra 的下一代模型给出 Navier-Stokes 千禧年大奖难题的解，该问题关注三维光滑流体运动的描述是否会失效，已悬置约 90 年。

我们祝贺 Levent Alpöge 和 Tristan Buckmaster 在数学领域取得的卓越成就。

在他们公开发布成果之前，我们（研究人员和智能体）没有通过任何途径看到他们的工作--特别是，我们没有访问任何特定用户数据来解决这个问题。

虽然可能性不大，但我们无法排除从他们使用我们产品所获得的去标识化数据帮助改进了我们模型的可能性。

然而，我们的证明存在显著差异，而且在欧拉情形下，所证明的具体结果也有所不同（受迫与不受迫）。

来源：OpenAI· x.com