This feels like one of those moments when the future arrives all at once. OpenAI has published a solution to the Navier–Stokes existence and smoothness problem. This is one of seven Millennium Prize Problems selected by the Clay Mathematics Institute in 2000, carrying a $1 million prize and more importantly representing one of mathematics’ deepest unresolved questions. The Navier–Stokes equations describe how fluids move: air over an aircraft wing, ocean currents, weather systems, and blood flowing through our bodies. For almost 90 years, mathematicians have asked: if a three-dimensional fluid begins in a smooth state, must it remain smooth forever, or can the equations “blow up in finite time"? OpenAI’s answer is that such a breakdown can happen. Its AI system constructed a finite-time singularity and produced both an analytical proof and a formalization in Lean (a mathematical programming language if you want, to make sure proofs are correct). Obviously independent experts must still confirm that the formalization precisely matches the official problem. The mathematical significance would be enormous, even though the construction itself is highly engineered. But this goes far beyond an unchecked AI-generated argument. The impact is primarily foundational, ie doesnt suddenly better aircraft or weather forecasts. But it does/would settle a central question about the limits of one of physics’ most important models while demonstrating that AI can produce genuinely new, formally verified research mathematics. I believe also Google DeepMind has pursued AI-assisted mathematical reasoning and related work on fluid-dynamics singularities, but who would have imagined, when AI mainly meant prediction, classification, and data analysis, that pure mathematics would become such an extraordinary playground? Perhaps a broader pattern is emerging: AI appears particularly powerful at searching vast spaces for strange constructions that overturn universal claims. Earlier this year, an OpenAI model disproved Erdős’s 80-year-old unit-distance conjecture by finding an unexpected infinite family; more recently, an AI-assisted counterexample refuted the 87-year-old Jacobian conjecture in dimensions three and higher. We may be entering an era in which mathematicians and AI explore the deepest frontiers of knowledge together. Crazy & incredibly exciting times! [OpenAI announcement](openai.com/index/navier-stok…) [Navier–Stokes proof paper](cdn.openai.com/pdf/32d9f210-…) [Related Euler proof paper](cdn.openai.com/pdf/315b36cd-…) #AIforScience #Math #NavierStokes