OpenAI 宣布了一项重大突破，解决了复杂的数学挑战——纳维-斯托克斯千禧年大奖难题。该解决方案是使用下一代 AI 模型和约 10,000 个协调的 AI 代理在 88 小时内实现的。这一成就代表了在各种基准测试上的重大改进，OpenAI 正在专注于理解这个新模型的能力，同时确保负责任的开发。 AI
影响 展示了 AI 解决复杂科学和数学问题的潜力，可能加速跨学科研究。
排序理由 OpenAI 宣布使用新的 AI 模型和代理解决了重大的数学问题。
AI 生成摘要 · Google Gemini · 来自 5 个来源。 我们如何撰写摘要 →
完整方法见我们的编辑标准。
We congratulate Levent Alpöge and Tristan Buckmaster on their remarkable mathematical work. We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve
We are focusing on understanding this model, and using what we learn to help us guide and pace how we pursue further advances in capability. Our goal is to build AI systems which are steerable, accountable, and connected to people, which may require more deliberate choices about
The group produced an analytical proof and Lean formalization that via Navier-Stokes dynamics a fluid can develop a singularity in finite time. The solution is a vortex, a spinning swirl of fluid, that spirals inward and gets increasingly elongated, like spaghetti.
This model represents a step-function improvement on many benchmarks, and its training is ongoing. Our internal model group arrived at the Navier–Stokes solution in 88 hours, using around 10,000 coordinating AI agents. Throughout the effort, we maintained the strict https://t.…
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 https:…