EVENT DOSSIER
2026 年 9 月 9 日，美国科学家 OpenAI 宣布攻克纳维 - 斯托克斯方程千禧年难题，发布了包含 165 页 Lean 形式化验证的解析方案。该证明由约 10,000 个智能体协作 88 小时产出，消耗约 1300 亿输出 token。此前，纽约大学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 已私下合作一年，用类似方法证明了三个相关流体力学方程。9 月 3 日传闻 Anthropic 率先解决该难题后，OpenAI 内部模型才介入研究。目前，Buckmaster 拒绝将 Alpöge 从作者名单移除，双方因署名及数据使用问题发生争执。OpenAI 表示人工参与很少，但无法完全排除用户使用去标识化数据帮助改进模型的可能性。
OpenAI 下一代模型攻克纳维 - 斯托克斯方程，完成 165 页 Lean 形式化验证。该证明由约 10,000 个智能体协作 88 小时产出，消耗约 1300 亿输出 token。此前纽约大学教授 Tristan Buckmaste…
2 条报道OpenAI 下一代模型攻克纳维 - 斯托克斯方程，完成 165 页 Lean 形式化验证。该证明由约 10,000 个智能体协作 88 小时产出，消耗约 1300 亿输出 token。此前纽约大学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 私下合作一年，已用类似方法证明三个流体力学方程。9 月 3 日传闻 Anthropic 解决千禧年难题后，OpenAI 内部模型在得知进展几天后才介入研究。Buckmaster 拒绝将 Alpöge 从作者名单移除，双方因署名及数据使用问题发生争执。OpenAI 表示人工参与很少，但无法排除用户使用去标识化数据帮助改进模型的可能性。
美国科学家于近日发布了纳维 - 斯托克斯方程（Navier-Stokes）千禧年难题的候选解。该研究团队通过数学推导，提出了满足特定边界条件的流体力学方程组解析方案，并验证了其收敛性。这一成果被视为解决该七项千禧年大奖难题之一的重要进展，可能为流体力学领域的理论突破提供关键依据。