AI reportedly solves a $1 million fluid dynamics problem
A long-standing math problem may have just fallen to an AI model, and now two labs are fighting over who gets credit.
This is the first real sign that AI can do open-ended scientific research and not just fast pattern matching, and it changes what you should assume AI still cannot do.
A team appears to have cracked one of the six "million dollar" problems in math. The Clay Mathematics Institute has offered $1 million to anyone who proves whether the Navier-Stokes equations (the equations that describe how fluids like water and air move) always behave, or whether they can produce an impossible result under some conditions. Mathematician Tristan Buckmaster says a proof now exists showing the equations do break down, what mathematicians call "blowing up." He called it "a Deep Blue-Kasparov moment," referring to the 1990s chess match where a computer first beat world champion Garry Kasparov.
The path took close to a year. Two mathematicians, Diego Cordoba and Luis Martinez-Zoroa, found a trick called "forcing" that uses one part of the equations most researchers normally leave out, assuming it does not matter. Buckmaster and a co-author, Levent Alpoge, who works at Anthropic, spent months running that trick through AI models to search the possibilities. On August 15 they proved that a simpler cousin of the equations, the Euler equations, does blow up, a major result on its own.
Buckmaster alleges that rumors of the unpublished work reached OpenAI, and that an OpenAI team then used the same "forcing" idea and one of its own internal models, over a single weekend, to extend the result and blow up the full Navier-Stokes equations, the harder problem with the $1 million prize attached. Buckmaster says a call with an OpenAI researcher, Bubeck, turned into a dispute over credit: he alleges OpenAI offered to name him sole author of a paper crediting its own model, but wanted to leave off Alpoge because Alpoge works for a rival company. He posted his and Alpoge's results, along with this account, just before midnight on Monday.
One question sits underneath the credit fight: whether OpenAI's model had access, directly or through training, to Buckmaster and Alpoge's own private prompts to a rival AI tool. He says he asked and was told no, but got no answer on whether user prompts feed into training more broadly. There is also a technical catch: the Clay Institute's problem, as formally written, may not even include the "forcing" term the whole proof leans on, since most mathematicians write the problem without it. The prize committee still has to decide whether this counts.
The win here was not an AI inventing a new idea from nothing. Two human mathematicians spent close to a year finding the "forcing" trick; the AI's job was to grind through the resulting search space once it had the right lever to pull. That is still a real jump: a foundational problem that had stood unsolved for generations, decided in days. It also shows the same race dynamics already familiar from AI products now playing out in research, two labs chasing the same unpublished idea, and a credit fight over whose model gets the win.