OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由一组智能体使用一个显著强于 GPT-6 Astra 的下一代模型生成，该问题关于光滑三维流体运动是否会崩溃，已悬置约 90 年。
MASSIVE: OpenAI's 10,000 AI agents, powered by a model significantly more capable than GPT-6 Astra, solved a math problem unresolved for roughly 90 years.
Looks like, in this new world, the scaling law may be agent count, not model size: enough capable agents can search far more scientific ideas than any human group ever could.
when tens of thousands of strong agents can explore, criticize, and combine ideas, many problems that are "too hard" today may become mostly a compute problem.
For this one, for 90 years, mathematicians could not answer whether smooth 3D fluid flow can suddenly break down. OpenAI's proposed proof says it can.
To find this solution, OpenAI split thousands of agents into groups exploring different ideas, then shared the best findings between them.
The search took 88 hours and used about 130B output tokens across 2.7M messages.
GPT-6 Astra then spent another 17 hours checking and converting the proof into Lean, a system that verifies mathematical proofs.
That Lean version is public, so mathematicians can inspect the argument themselves.
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 查看被引用的帖子
来源：Rohan Paul · x.com