AI Has Solved One of Math’s $1 Million Millennium Prize Problems
Quanta Magazine · C · trust 56/100
Physics Mathematics Biology Computer Science Topics Archive Special Issues Podcasts Videos Qualia Essays Multimedia Q&As Explainers About Quanta Search Search for: Search Search Newsletter Get the latest news delivered to your inbox.
Youtube Instagram RSS An editorially independent publication supported by the Simons Foundation.
Physics Mathematics Biology Computer Science Topics Archive Saved articles Saved Articles Create a reading list by clicking the Read Later icon next to the articles you wish to save.
Physics Black Holes Evolution Home AI Has Solved One of Math’s $1 Million Millennium Prize Problems Comment Save Article Read Later Share Facebook Copied! Copy link Email Pocket Reddit Ycombinator Comment Comments Save Article Read Later Read Later artificial intelligence AI Has Solved One of Math’s $1 Million Millennium Prize Problems By Konstantin Kakaes September 8, 2026
Save Article Read Later The proof of a “blowup” has blown up the mathematics community.
artificial intelligence computer science fluid dynamics mathematical physics mathematics Navier-Stokes equations All topics On the morning of Tuesday, September 8, mathematicians at OpenAI announced that a group of 10,000 autonomous AI agents under their direction, running on an advanced model not available to the public, had found a “singularity” in the Navier-Stokes equations in three dimensions — thus resolving one of the six remaining Millennium Prize Problems posed in 2000 by the Clay Mathematics Institute, each of which carries a $1 million prize. Their result has been formally checked in the programming language Lean, giving mathematicians confidence that it is indeed correct.
If the result holds up to further scrutiny, it is, by a significant margin, the most important mathematical proof to have been arrived at by an artificial-intelligence model to date, possibly marking a fundamental turning point in how mathematicians tackle difficult problems.
This particular difficult problem deals with differential equations, which express relationships between changing quantities. They are arguably the single most important mathematical tool for explaining the world around us. As a rule, they are easy to write down and hard to solve.
The Navier-Stokes equations are differential equations that use Newton’s second law of motion to describe how fluids, from ocean currents to air flows, behave. They were first written down in the mid-19th century, and have been central to the study of fluid mechanics ever since. But one basic question about the equations has persisted: Are their solutions always well-behaved? Or can their solutions evolve over time so that some infinitesimally small part of the fluid begins to flow infinitely quickly, creating a so-called singularity?
The OpenAI announcement of this long-sought singularity came 12 hours after an announcement from Tristan Buckmaster at New York University that he, together with Levent Alpöge at Anthropic, had resolved several closely related problems with help from a variety of AI models, including those of OpenAI.
Both AI-enabled teams relied heavily on work by Diego Córdoba of the Institute for Mathematical Sciences in Madrid and Luis Martínez-Zoroa of CUNEF University, researchers who had developed a strategy to attack the problem that radically departed from the methods most mathematicians were using.
“I was thrilled that the problem was solved,” said Charles Fefferman of Princeton University, who wrote the Clay Institute’s official description of the Navier-Stokes problem. The heroes of the story, he said, are Córdoba and Martínez-Zoroa. As Buckmaster wrote in a statement announcing his results, “Let me make plain what I have said to colleagues in private: in view of this body of work, I believe Luis Martínez-Zoroa deserves a Fields Medal.”
The Navier-Stokes equations rely on the assumption that you can zoom in on a fluid, considering endlessly smaller amounts of it. The real world is not like this: Fluids are ultimately made of molecules and atoms. They are not perfectly smooth. This means that the mathematical results about the formation of singularities don’t have any immediate practical consequences. However, those results are important because it’s surprising that such singularities are possible even in an idealized sense. It tells us that, straightforward as Newton’s second law appears to be, its consequences when applied to fluids are profoundly counterintuitive. Put another way: Turbulence is even weirder than it appears to be.
The Navier-Stokes equations account for the fact that fluids can have viscosity, or friction. (Fluids with more viscosity, like honey, flow slowly, while those with less viscosity, like water, flow more quickly.) A simpler, related set of equations called the Euler equations describe fluids with zero viscosity, which flow without friction. The two sets of equations are closely related — researchers often work in parallel on both. But introducing even an infinitesimal amount of friction causes a fluid to behave in a profoundly different way.
OpenAI’s solution is a vortex, visualized here, where yellow represents a faster rotation speed and blue slower.
“Ten years ago, nobody believed there was a singularity for Navier-Stokes,” said Córdoba — though many believed that the Euler equations did admit a singularity. This began to change in 2013, when Thomas Hou of the California Institute of Technology and Guo Luo , now at the Hang Seng University of Hong Kong, derived a groundbreaking result showing that the Euler equations can “blow up,” as mathematicians like to say, in a cylinder if the top and bottom halves are set spinning in opposite directions. “That’s the first really serious claim of singularity,” Córdoba remembered. Over the next few years, a series of results including a 2019 paper got mathematicians thinking that not only might the Euler equations have singularities, but that Navier-Stokes might as well.
There are a few…
Read the original at Quanta Magazine →
Open in TruthVane →