OpenAI's Navier–Stokes 'solution' comes with a very large asterisk

Start with the framing everyone got wrong in the first 48 hours. OpenAI's Navier–Stokes proof shows a fluid, starting smooth and at rest, breaking down under a specifically constructed external force. Critics jumped on this as if it were a technicality OpenAI slipped past the referees. It isn't. Charles Fefferman — the Princeton mathematician who wrote the Clay Institute's official 2000 problem statement — explicitly allowed this variant, labelled option C, as a legitimate way to resolve the prize. OpenAI's system found a real answer to a real, officially sanctioned question. The complaint that follows isn't about legitimacy. It's about relevance.

Here's the uncomfortable part for OpenAI's press release. Nearly every mathematician who has spent a career on this equation was chasing the unforced case — no external push, just the fluid's own internal dynamics tearing itself apart. That's the version with real physical stakes: does turbulence, on its own, break the maths that's supposed to describe it? University of Chicago mathematician Luis Silvestre put it as bluntly as a mathematician gets.

And it gets worse for the 'this changes everything' framing: nine days after OpenAI's announcement, three mathematicians posted a proof showing OpenAI's whole approach — the forcing technique, the infinite cascade — structurally cannot be pushed through to the unforced case. Not 'hasn't been' — cannot be, without an entirely new mathematical idea nobody currently has. Diego Córdoba, whose own technique underpins both AI results, doesn't dispute this; he simply thinks the forced version was always worth solving on its own terms.

Fair point, and worth sitting with. But it doesn't change the scoreboard: the version of Navier–Stokes that keeps physicists up at night — whether a fluid can break itself, with no outside help — is exactly as open today as it was on 7 September.

The credit fight got the headlines, but Tristan Buckmaster's own statement about his and Levent Alpöge's work is the most damning thing anyone involved has said about AI-generated mathematics all year — and he said it about his own team.

That's not a rival being ungracious. That's the person who co-authored the result, describing the raw output of the tool that helped produce it. Buckmaster went further, admitting one of the three papers his team released 'can only be described as AI slop.' Lean can tell you a proof's logic is airtight. It cannot tell you whether a human being can read the thing, learn from it, or build on it — and 'a machine-checked proof no mathematician can parse' is a genuinely new category of research output nobody has a good process for yet.

Terence Tao — not a bystander, one of the most decorated working mathematicians alive — used his response to CNN to raise something bigger than any single proof: what a race like this does to the discipline itself.

That's the real cost nobody's pricing in alongside Bubeck's several million dollars. Two labs, on overlapping problems, racing each other to a formal-verification finish line in the same single week, is not how mathematical understanding has historically advanced — and Tao's point is that a discipline optimised for who announces first, rather than who understands deepest, quietly stops being the discipline everyone signed up for. The maths checked out. The way we got here is the part actually worth arguing about.