•11 min read
OpenAI Claims a Navier-Stokes Millennium Prize Solution From a 10,000-Agent Swarm, While the Researchers They Beat to It Tell a Very Different Story
OpenAI published an analytical proof and a Lean formalization showing that Navier-Stokes dynamics develop a finite-time singularity, produced by a swarm of roughly 10,000 coordinating agents running an internal model significantly more capable than GPT-6 Astra in 88 hours. Hours later, NYU math professor Tristan Buckmaster published a statement recounting OpenAI's outreach to him and two offers he declined, turning a landmark scientific announcement into an open question about priority, credit, and conduct.