OpenAI Agents Deliver Solution to Navier-Stokes Millennium Prize Problem

OpenAI ·

Key Info

OpenAI announced that a group of AI agents, powered by a next-generation model significantly more capable than GPT-6 Astra, has produced a solution to the Navier-Stokes Millennium Prize Problem. The organization congratulates mathematicians Levent Alpöge and Tristan Buckmaster, and says it did not access any specific user data to solve the problem.

Highlights

  • The proof was produced by a group of agents and includes a Lean formalization showing that fluid can develop a singularity in finite time under Navier-Stokes dynamics.
  • OpenAI states that neither the researchers nor the agents saw the mathematicians' work before its public release, and no specific user data was accessed.
  • The company acknowledges it cannot fully rule out that de-identified product-usage data contributed to model improvements, but emphasizes that the proofs differ significantly.
Loading...