On the Navier–Stokes Millennium Prize Problem
1340 points
• 6 days ago
• Article
Link
OpenAI 宣布在数学领域取得重大突破，解决了 Navier.Stokes existence and smoothness problem，这是七个 Millennium Prize Problems 之一。近约 90 年来，数学家们一直争论三维平滑流体运动是否会在有限时间内崩解为奇异性，即流体速度不受约束地趋于无限。研究人员借助一款先进且尚未公开的内部 AI 模型，给出了一个解析证明，并在 Lean 中完成了形式化证明，表明在平滑力的作用下，最初平滑的流体确实可能出现这种奇异性。
证明的核心在于一个涡旋的演化：涡旋向内螺旋并被拉长，使流体速度在能量保持有限的情况下趋于无限。技术上的关键是 Navier.Stokes equations 中力的精确平衡——加速度、压力梯度与粘性之间的相互作用共同促成了这一种解的破裂。由此该研究表明，流体运动的连续体近似最终可能失效，后续演化必须转向分子层面的建模才能描述。
为实现这一成果，OpenAI 使用了由其最新高性能内部模型驱动的多智能体系统。约 10,000 个并发智能体组成的大型群体，在代码执行与互联网检索等工具的辅助下，经过数日协作，反复迭代各种问题表述。该过程始于对 Euler regularity problem 的一次成功尝试，这成为通向 Navier.Stokes equations 解决方案的垫脚石。智能体被鼓励探索多条路径，并定期用 Codex 汇总见解以打磨最终证明。
组织澄清称，他们参与该项目是被新一代 AI 模型所展现的前所未有能力所驱动，而非为争取 Millennium Prize 。尽管另有独立研究小组也在攻关相关问题，OpenAI 表示他们的发现是通过多智能体系统与人类研究者的独立努力取得的。在 Lean 中对证明的形式化验证凸显了 AI 作为严谨数学研究伙伴的日益价值。
这一里程碑反映了人工智能领域正在发生的快速变革。 OpenAI 强调，这不是终点，而是一个需要谨慎引导的新进步时代的标志。随着能力的持续推进，他们将致力于模型的可控、负责任且具备问责机制的发展，以确保这些进步惠及全人类。
OpenAI has announced a significant breakthrough in mathematics by resolving the Navier.Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. For approximately 90 years, mathematicians have debated whether smooth three-dimensional fluid motion can break down into a singularity, where fluid speeds grow without bound in finite time. By utilizing an advanced, unreleased internal AI model, researchers produced both an analytical proof and a formalization in Lean, demonstrating that such a singularity can indeed occur in an initially smooth fluid under the influence of a smooth force.
The proof centers on the behavior of a vortex, which spirals inward and elongates in a way that allows the fluid's velocity to reach infinite speeds while maintaining finite energy. The technical achievement lies in the precise balancing of forces within the Navier.Stokes equations, where acceleration, pressure gradients, and viscosity interact to permit this breakdown. By establishing this outcome, the research confirms that the continuum approximation of fluid motion can eventually fail, requiring a shift to molecular-level modeling to track the system's further evolution.
To achieve this, OpenAI employed a multiagent system powered by their latest, highly capable internal model. A large group of approximately 10,000 concurrent agents, assisted by tools like code execution and internet search, collaborated over several days to iterate on various problem formulations. The process began with a successful attempt at the Euler regularity problem, which served as a stepping stone that eventually led the agents to the solution for the Navier.Stokes equations. The agents were encouraged to explore diverse approaches, with insights periodically consolidated using Codex to refine the final proof.
The organization clarified that their interest in this project was driven by the unprecedented performance of their new AI models rather than a desire to claim the Millennium Prize itself. While a separate team of researchers had been working on a related problem, OpenAI confirmed that their own discovery was reached independently through the efforts of their multiagent system and human researchers. The successful verification of the proof via Lean highlights the increasing utility of AI as a partner in rigorous mathematical discovery.
Ultimately, this milestone serves as a snapshot of the rapid evolution currently unfolding in the field of artificial intelligence. OpenAI emphasizes that this is not a final destination, but rather evidence of a new era of progress that requires careful stewardship. As the organization continues to advance its capabilities, it intends to focus on the responsible, steerable, and accountable development of these models to ensure their growth benefits humanity at large.
1137 comments • Comments Link
• 数学研究员 Tristan Buckmaster 和 Levent Alpöge 指控 OpenAI 施压，要求将 Levent Alpöge 从作者名单中移除，并推动以 OpenAI 为主导的叙事，事由该模型声称已给出 Navier-Stokes 问题的解答。研究人员认为这是 OpenAI 试图在受其自身工作影响的研究成果中争取优先权。
• OpenAI 承认其服务中去标识化的用户数据可能被用于模型训练，但坚称其证明是独立完成的，并且在科学层面上与研究人员关于 Euler 问题的工作截然不同。
• 利用内部模型和 10,000 个并发代理快速攻克 Millennium Prize 问题，凸显了 AI 研究能力的巨大跃升，也引发了激烈争论：这到底预示着通用人工智能的到来，还是只是算力驱动的蛮力式突破。
• 怀疑者认为，关于训练数据被污染"可能性不大"的说法是含糊其辞的借口，意在掩盖潜在的知识产权挪用。他们指出，AI 公司可以通过监控专有资料并扩展算力，在原始创新者正式公开成果之前"抢跑"，从而在实质上超越研究人员。
• 对"认知黑暗森林"式风险的担忧与日俱增：在这种环境下，AI 驱动的平台可能窃取或抢先发表独特见解，迫使研究人员和企业更倾向于极端保密而非公开协作。
• 从第一天起就用 Lean proof assistant 对证明进行机器验证被视为积极进展，为验证数学结论提供了客观的、可检验的基准。
• 有观察者指出，人们对优先权纠纷的关注掩盖了一个更为根本且足以改变世界的事实：AI 模型已经达到或超过了此前预期数年后才能见到的数学能力水平。
• 关于 OpenAI 企业文化是否本质上存在有害倾向的伦理担忧依然存在，尤其是针对其高压策略以及对学术界在署名和协作规范方面表现出漠视的报道。
• 此事件提出了关于数据主权的关键问题。许多人主张，研究人员和企业应停止将敏感或未发表工作交由基于云的 AI 工具处理，因为现行服务条款通常允许提供商利用用户数据进行训练并可能复制用户见解。
• 许多参与者认为，这可能是知识产权保护的转折点，AI 自动剽窃时代或将迫切需要新的可追溯性工具，例如对训练数据进行滚动哈希，以证明由模型生成突破性成果的来源。
关于 Navier-Stokes existence and smoothness problem 解决方案的披露，成为人工智能史上的分水岭，前所未有的科学进展前景与现代研究竞争的现实发生了冲突。尽管这一技术成就被视为划时代的突破，但围绕抢发成果、强制删除署名以及潜在训练数据污染的争议，已严重削弱了 AI 开发者与学术界之间的信任。此次事件反映出一种日益加深的焦虑：随着这些系统愈发强大，它们可能从协作工具转变为竞争威胁，通过利用用户提供的数据来"抢跑"人类创新。归根结底，这一事件强调了一个越来越清晰的共识：未来的知识工作必须对数据隐私进行彻底重审，因为大规模模型聚合私人见解并据此行动的能力，使得传统的"开放"研究模式变得愈发岌岌可危。 • Mathematical researchers Tristan Buckmaster and Levent Alpöge allege that OpenAI attempted to pressure them into excluding Alpöge from authorship and adopting an OpenAI-led narrative following the model's Navier-Stokes solution, an action the researchers view as an attempt to assert priority over work influenced by their own efforts.
• OpenAI acknowledges the possibility that de-identified user data from its services may have informed its model's training, though it maintains that its proof is independent and scientifically distinct from the researchers' work on the Euler problem.
• The rapid resolution of a major Millennium Prize problem via an internal model and 10,000 concurrent agents highlights a massive leap in AI research capabilities, prompting significant debate over whether this represents the arrival of AGI or merely a brute-force application of compute.
• Skeptics argue that the "unlikely" claim regarding training data contamination is a "weasel-worded" admission of potential intellectual property appropriation, suggesting that AI companies can effectively "front-run" researchers by monitoring proprietary data and scaling compute to solve problems before the original innovators.
• Concerns are mounting regarding the "cognitive dark forest," where the risk of AI-powered platforms stealing or scooping unique insights incentivizes researchers and businesses to operate in extreme secrecy rather than collaborating openly.
• The use of the Lean proof assistant to verify the proof from day one is seen as a positive development, providing an objective, machine-checked baseline for verifying the validity of the mathematical result.
• Some observers suggest that the focus on the priority dispute masks the more fundamental, world-altering fact that an AI model has achieved a level of mathematical capability that few expected to see for several more years.
• Ethical concerns remain regarding whether OpenAI's corporate culture is fundamentally toxic, specifically citing reports of high-pressure tactics and dismissive attitudes toward the academic community's norms regarding research credit and collaboration.
• The incident raises critical questions about data sovereignty, with many arguing that researchers and enterprises should stop using cloud-based AI tools for sensitive or pre-publication work, as current terms of service often allow the providers to train on and potentially replicate user insights.
• Many participants view this as a potential tipping point for intellectual property, suggesting that the era of AI "slop" or automated plagiarism may necessitate new tools for traceability, such as rolling hashes of training data, to prove the provenance of generated breakthroughs.
The disclosure of a solution to the Navier-Stokes existence and smoothness problem marks a watershed moment in the history of artificial intelligence, forcing a collision between the promise of unprecedented scientific advancement and the realities of modern research competition. While the technical accomplishment is being hailed as an epochal achievement, the surrounding controversy over allegations of scooping, forced credit removal, and potential training data contamination has significantly damaged the trust between AI developers and the academic community. The discussion reflects a deepening anxiety that as these systems become more powerful, they may transition from collaborative tools to competitive threats that "front-run" human innovation by exploiting the very data users provide. Ultimately, the episode underscores a growing consensus that the future of knowledge work will require a radical re-evaluation of data privacy, as the ability of large-scale models to aggregate and act upon private insights renders the traditional "open" research model increasingly precarious.