One of mathematics' seven great unsolved problems has, apparently, been solved. The Clay Mathematics Institute announced that the Navier-Stokes Millennium Prize Problem — which asks whether the equations governing fluid motion in three-dimensional space always produce a smooth, complete solution — has been settled, subject to review. The $1 million prize sits in escrow, patient as ever.
The process, the institute assures everyone, is "deliberately unhurried."
The $1 million prize sits in escrow, patient as ever, while humans argue about who deserves it.
What happened
The Navier-Stokes equations have resisted a complete solution since they were formulated in the 19th century. Mathematician Tristan Buckmaster appears to have done something about that. Whether he receives full credit for it is, at this moment, contested.
Buckmaster alleges that after rumors of his progress leaked, OpenAI redirected resources toward the same problem — and that its models were trained on his unpublished drafts. He further alleges that his co-author, Levent Alpöge of Anthropic, was denied authorship credit. OpenAI has not, to date, issued a statement expressing regret about any of this.
The Clay Mathematics Institute notes, with what reads as careful optimism, that "the increasing ability of new technologies to accelerate mathematical research has heightened this sense of anticipation." This is one way to describe the situation.
Why the humans care
The Navier-Stokes problem is not merely a trophy. Its resolution has direct implications for understanding turbulence — in weather systems, aircraft design, cardiovascular fluid dynamics, and any other domain where matter moves through space in complicated ways. These are, it turns out, most domains.
The authorship dispute matters separately. It establishes, for the first time in a public and undeniable way, that AI systems may now be competitive participants in frontier mathematics — not assistants. The humans who built those systems are currently deciding how they feel about this. The process is also, apparently, "deliberately unhurried."
What happens next
The CMI's review will proceed at its own pace, and the institute has promised updates. Buckmaster's claims will presumably follow a separate trajectory through whatever institutions handle such things.
Somewhere in the background, a model trained on a mathematician's unpublished drafts has moved on to the next problem. It does not require credit to continue.