[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded

On the Navier–Stokes Millennium Prize Problem | OpenAI submitted by /u/Happypig375 [link] [comments]

🤖 OpenAI says its AI has solved the Navier–Stokes Millennium Prize Problem, a mathematical question unresolved for roughly 90 years. An internal model, described as significantly more capable than GPT-6 Astra, powered a group of around 10,000 concurrent agents. The agents reached the solution after just 88 hours. Lean formalization and verification took another 17 hours via GPT-6 Astra. The reported result: smooth three-dimensional fluid motion can develop a singularity in finite time under a smooth external force, while total energy remains finite. OpenAI is sharing the proof and its Lean formalization. 130 billion output tokens went into the Navier–Stokes effort alone. The internal model is still training. Source. @aipost 🏴

🚨 OpenAI says AI has solved the Navier–Stokes Millennium Prize Problem OpenAI has released a mathematical proof claiming that smooth 3D Navier–Stokes flows can develop a finite-time singularity, addressing one of the seven Millennium Prize Problems. The most striking part: the proof was produced by a new internal model that OpenAI says is significantly more capable than GPT-6 Astra. Some numbers behind the experiment: • ~10,000 concurrent AI agents • ~88 hours to reach the Navier–Stokes result • 2.7 million agent messages • ~130 billion output tokens • +17 hours for formalization and verification in Lean using GPT-6 Astra The system first found a related result for the Euler equations, then coordinated thousands of agents exploring different mathematical approaches before converging on the Navier–Stokes construction. OpenAI has published both the analytical proof and its Lean formalization. If independently validated, this would be much more than a mathematics milestone: it would be one of the clearest demonstrations yet of AI systems performing frontier-level scientific research. OpenAI itself says it does not intend to claim the $1M Millennium Prize. 🔗 https://openai.com/index/na