AI 导读
我们分享纳维-斯托克斯千禧年大奖难题的一个解,这是数学前沿最深奥的问题之一。 该证明由一组智能体完成,使用的是 OpenAI 下一代模型,能力显著强于 GPT-6 Astra。 该问题关乎由纳维-斯托克斯方程建模的三维光滑流体运动描述是否会失效。它已悬而未决约 90 年。
正文
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.
来源:@OpenAI · x.com