OpenAI claims solving Navier–Stokes Millennium Problem with 10,000 AI agents
OpenAI says an unreleased model solved the Navier–Stokes existence and smoothness problem in 88 hours, using up to 10,000 AI agents working together. Researchers acted as 'bumblebees' cross-pollinating ideas across agent groups, and the final proof was written in the Lean language. OpenAI researcher Noam Brown called it 'a very expensive process,' likely costing millions of dollars. Terence Tao compared it to a guide showing one path to a hidden waterfall—people will take that path and stop searching for others. OpenAI published a paper and the Lean proof for external review. The post does not name the specific unreleased model.
Why it matters: OpenAI claims to have solved Navier-Stokes with an unreleased model — an industry-shaking event. The 88-hour run, 10,000+ agent swarm, and Lean proof submission are dense with signal. The deduction: the proof hasn't passed external review yet, so this stays below 95 until veri...