This post is going out early as a thank-you to paid subscribers. The full piece opens up to free subscribers next Tuesday. I’m grateful you’re here, and grateful for your commitment to rethinking what education can be. Your support is what keeps this work going.
If your social media feeds look anything like mine, the past week has been wall to wall Navier-Stokes. A math problem that most people had never heard of now appears next to resignation letters, extinction odds, a hacking incident at Hugging Face, and accusations of stolen research. And the posts that can explain how all of that connects usually assume you already know what a finite-time singularity is. But hardly anyone does. Mathematics at that level is hard, and often obscure even to other mathematicians.
I have a PhD in mathematics, which sounds like it should help. It helps less than you would think. I left the field decades ago for a different research area, and the partial differential equations I once worked with have long since faded into the general shape of things I used to know. So I came to this story as an informed outsider, someone who can look at a 165-page proof and understand the math notation, but who could not verify the details.
I think that position is close to where most of my readers are. And it is also the position from which I am writing this post.
So, what exactly happened? In short, OpenAI announced on September 8 that an unreleased internal model, running as a swarm of roughly 10,000 coordinated agents, had produced a proof settling one of the seven Millennium Prize Problems, a list of some of the hardest open questions in mathematics. These are problems the mathematics community has tried to solve for generations, without success.
Within a day, a 27-year-old researcher who had worked at both OpenAI and Anthropic quit the industry with a public warning that the two companies are “gambling with our lives.” Senior safety experts at Anthropic immediately backed him up, one of whom quantified the risk as a better than 10 percent chance that AI wipes us out within ten years. The internet did what it usually does and quite a few people started to panic.
And so, what began as the solution of a famous math problem ended, within a day, in public fear of human extinction.
But why?
In today’s post, I want to walk through the whole story in chronological order, without equations, so that anyone who teaches or learns for a living can understand what happened, how it happened, why mathematicians are arguing about whether it counts, and why the people closest to these systems are the ones most frightened by it.
What the equations describe, and what nobody could prove
The Navier-Stokes equations describe how fluids move. To a physicist, this includes gases. Water in a pipe, blood in an artery, air over a wing, smoke off a candle, all of it. Claude-Louis Navier wrote down the first version in 1822, and George Gabriel Stokes completed it in 1845. To put it simply, what they did was take Newton’s second law - force equals mass times acceleration - and apply it to a substance without a fixed shape.
Engineers have relied on this result ever since. Aircraft design, weather forecasting, ship hulls, and the simulation of blood flow through the heart all rest on these equations.
And yet, nobody could prove that the equations always work.
Here is the problem in plain terms. There are two things that happen inside a moving fluid simultaneously. First, motion concentrates. Big swirls break into smaller swirls, which break into smaller swirls still, and energy piles up in ever tinier, faster-spinning regions. Second, viscosity pushes the other way. This is the internal friction of a fluid, smoothing out sharp differences in speed and turning motion into heat.
The question that mathematicians could not settle is whether, in three dimensions, the smoothing always wins.
If it does, a fluid that starts out calm stays smooth forever, and the equations keep describing it. If it does not, then a fluid could in principle concentrate so much motion into a small region that the velocity at a single point becomes infinite within a finite amount of time. Mathematicians call that a blowup or a singularity. It would mean the equations stop describing anything physical at all.
In 1934, the French mathematician Jean Leray showed that “weak” solutions always exist. Weak solutions satisfy the equations on average, even if they are not continuous. Whether “strong” solutions, the perfectly smooth ones, always exist as well was the part he could not finish. That gap sat open for ninety years. This is the Navier-Stokes existence and smoothness problem.
A prize with a very long waiting room
In May 2000, the Clay Mathematics Institute in Cambridge, Massachusetts, named seven problems it considered the deepest unsolved questions in mathematics and attached a million dollars to each. These became known as the Millennium Prize Problems. Navier-Stokes is one of them. So are the Riemann Hypothesis and the P versus NP problem. Only one has ever been solved: Grigori Perelman proved the Poincaré Conjecture in preprints posted between 2002 and 2003, then declined both the money and a Fields Medal.
Charles Fefferman, a Fields Medalist at Princeton, wrote the official statement of the Navier-Stokes problem. It offers four ways to solve it. Two of them, labeled A and B, ask you to prove that smooth solutions always exist when no outside force acts on the fluid. The other two, C and D, ask for the opposite: build one example of a smooth starting state and a smooth external force that together drive the fluid to a singularity.
Keep that distinction in mind. We will need it to understand the current debate among mathematicians.
