AI 导读
OpenAI 分享了一道 Navier-Stokes 千禧年难题的解法，称证明由一组智能体使用比 GPT-6 Astra 能力显著更强的 OpenAI 下一代模型完成。该问题涉及三维流体运动的光滑解描述是否会失效，已悬置约 90 年。Greg Brockman 称这是 AI 与数学的重要里程碑，并希望该模型产生的知识能帮助社区更好理解非线性 PDE。
正文
Announcing a solution to the Navier-Stokes problem, one of the seven Millenium Prize problem.
Represents a major milestone for both AI and mathematics, as well as pointing to an upcoming renaissance in scientific discovery.
Hoping that the knowledge created by this model can help the community better understand non-linear PDEs, which are used to model much of the physical world.
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.在 X 查看被引用的帖子
来源：@gdb · x.com