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

OpenAI just announced that a group of around 10,000 AI agents solved the Navier Stokes Millennium Prize problem in about 88 hours, using a next generation model that they say is significantly more capable than GPT 6 Astra. A problem that has remained unsolved for around 90 years being solved by AI is kind of crazy. OpenAI also says the system found a finite time singularity in the Navier Stokes equations. Really curious to see what mathematicians make of the proof and whether it holds up to independent verification. https://openai.com/index/navier-stokes-solution/ https://preview.redd.it/1bx9djjr6coh1.png?width=900&format=png&auto=webp&s=f61d83ced923ee09c99028be2dd30c99940513a5 submitted by /u/Playful-Second-3934 [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 roughly 10,000 coordinated agents produced and formally checked a proof that a smooth forced fluid can develop a finite-time singularity. The 166-page argument could settle the Navier-Stokes Millennium problem, but independent mathematical acceptance and questions about intellectual provenance remain unresolved. 10,000 AI Agents Wrote a Proof for a Millennium Problem

🚨 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