OpenAI Claims Agent-Produced Proof of 90-Year-Old Navier-Stokes Millennium Prize Problem
eherrerosj · x · 2026-09-09
OpenAI announced a solution to the Navier-Stokes Millennium Prize Problem—one of mathematics' deepest open questions, unresolved for roughly 90 years—concerning whether smooth 3D fluid motion can break down. The proof was produced by a group of agents running on an OpenAI next-generation model significantly more capable than GPT-6 Astra.
A follow-up post highlights that two Spanish mathematicians—Icmat (CSIC)'s Diego Córdoba and Cunef's Luis Martínez-Zoroa—laid the mathematical groundwork that made the solution possible, with little coverage in Spanish media. If verified, this would be a landmark for AI for Science and reignite debate over whether AI can independently produce top-tier mathematical research.
Related event: OpenAI Claims AI Solved Navier-Stokes, Sparking Credit Dispute(427 posts)→
More from AGI Musings
- GPT-6 Astra system card draws fire: OpenAI claims 'most aligned model' ever — TheZvi · 2026-09-09
- Australia moves to let users opt out of algorithmic feeds; one author wants the same for AI personalization — VraserX · 2026-09-09
- Nathan Lambert: AI is still a rounding error in everyday life, and that's the industry's problem — natolambert · 2026-09-09
- dhh: AGI Is Everywhere If You're Willing to Open Your Eyes — Dan_Jeffries1 · 2026-09-09
- Commenter: AI companies would spin any disaster as 'unforeseeable tragedy' — NC_Renic · 2026-09-09
- What's growing exponentially is the inputs, not intelligence itself — binarybits · 2026-09-09