OpenAI Claims It Solved a 90-Year-Old Maths Problem, But Not Everyone Is Convinced

OpenAI has dropped what might be the most audacious claim in the company's history: that it has found a solution to the Navier-Stokes problem, one of the seven Millennium Prize Problems in mathematics and one that has resisted every serious attempt at a solution for roughly 90 years. The announcement, first reported by The New York Times and Wired before OpenAI published a blog post on Tuesday, has sent the maths and AI communities into a genuine frenzy. And not entirely in the way OpenAI might have hoped.

The Navier-Stokes equations describe how fluids move, whether that is water flowing through a pipe, air swirling around an aeroplane wing, or blood moving through arteries. Proving that smooth, well-behaved solutions to these equations always exist in three dimensions has been an open problem since 1934. The Clay Mathematics Institute lists it as one of the Millennium Prize Problems, each carrying a one million dollar reward for a verified solution.

OpenAI says its model, built on work coming out of its internal research team, produced a proof that satisfies the existence and smoothness conditions in three-dimensional space. That is the full claim. It is enormous.

So Why Is There Drama?

Because mathematics is not a press release. The moment OpenAI made this public without first submitting to peer review, the formal mathematics community pushed back hard. Several prominent mathematicians on social media and in public statements noted that extraordinary claims require verified, reproducible proofs checked by domain experts, not blog posts. A few pointed out that AI-generated proofs have a history of containing subtle errors that look convincing but collapse under scrutiny.

The Clay Mathematics Institute has not commented. Until an independent verification process is completed, the one million dollar prize is not being handed to anyone.

It is worth taking a step back to appreciate what is actually happening here, regardless of whether the proof holds up. Even getting close to a result like this using AI-assisted reasoning would represent a meaningful shift in how mathematics can be done. If the proof survives peer review, it would be one of the most significant scientific achievements of the century, full stop. Not just for AI, but for human knowledge.

But the framing matters enormously. Announcing this the way a tech company announces a product feature, complete with a blog post and press coverage seeded before the academic community could weigh in, is exactly the kind of thing that erodes trust between the AI industry and the scientific establishment. It is not how maths works, and OpenAI almost certainly knows that.

There is a strategic read here too. OpenAI has been under immense pressure in 2026, with Anthropic closing the gap on benchmarks, Cognition hitting a 48 billion dollar valuation in the AI coding space, and the company navigating multiple legal challenges. A headline about solving an unsolvable maths problem is, to put it plainly, excellent for the share price and for recruiting.

That does not mean the result is fake. OpenAI has serious researchers, and AI-assisted theorem proving has been advancing rapidly through tools like Lean and other formal verification frameworks. It is genuinely possible something real is here. But the honest answer right now is that nobody outside the team has verified it, and the drama swirling around the announcement is entirely self-inflicted.

What happens next is the interesting bit. If OpenAI submits the proof to a formal journal and independent mathematicians confirm it, this becomes the story of the decade. If the proof contains errors, the reputational cost will be significant. Either way, the fact that we are even having this conversation about AI and one of the hardest unsolved problems in mathematics says something real about where things are heading.

Watch this space. Carefully.