OpenAI's ~10,000 agents produced a Navier-Stokes proof in 88 hours
OpenAI says about 10,000 agents powered by an internal model stronger than GPT-6 Astra worked in parallel for 88 hours to prove a fluid can develop a singularity, then GPT-6 Astra spent 17 hours formalizing it in Lean.
10,000 OPENAI AGENTS SOLVED A $1 MILLION PROBLEM IN 88 HOURS For nearly 90 years, mathematicians could not determine whether the Navier-Stokes equations can break down while describing fluid motion. -> Now OpenAI says it has found the answer. The company deployed around 10,000 agents powered by an internal model significantly more capable than GPT-6 Astra. They worked in parallel, exchanged 2.7 million messages and generated roughly 130 billion output tokens. The digital team produced a proof in 88 hours. The system showed that an initially motionless fluid can develop a singularity under certain conditions. Its velocity grows without bound within a finite amount of time. GPT-6 Astra then spent another 17 hours formalizing and verifying the result in Lean. The computation cost millions of dollars, but the company does not plan to claim the prize. The proof must also survive independent scrutiny from mathematicians. OpenAI just demonstrated a new model for scientific discovery. A single AI is no longer trying to replace one scientist. Thousands of agents can now form a digital research lab and compress decades of human work into days ↓
This post quotes another post: x.com/bytecarter_x/status/2114329003033317712