The announcement is well documented

A review of 12 primary sources — including OpenAI's official announcement and the public Lean repository released alongside it, plus coverage from several independent news organizations — confirms the core of what was claimed. The claim, as stated, is deliberately narrow: OpenAI announced that it found a solution to the Navier–Stokes equations, a cornerstone problem in fluid dynamics and one of the seven problems carrying Millennium Prize status. On that wording, the documentary record is consistent across primary and secondary sources.

The verification gap

What remains unsettled is whether the claimed solution is mathematically sound. No independent verification of the work exists at this point, and the Clay Mathematics Institute, which administers the Millennium Prize Problems, has not extended any recognition to the result. That distinction matters. Moving from "OpenAI announced a solution" to "OpenAI solved the Navier–Stokes problem" is an escalation the current evidence does not yet support; the mathematical status of the work is, for now, awaiting review.

What readers in the AI and hardware world should watch

For observers tracking AI's advance into formal mathematics, the structure of the announcement is as significant as its content. Pairing the claim with a Lean repository places the work on machine-checkable foundations — the emerging standard by which proof claims from AI systems are audited by the mathematical community. How that audit proceeds, and whether the Clay Mathematics Institute ever engages with the result, will determine whether this episode is recalled as a landmark in AI-assisted mathematics or as an unproven claim from a lab known for moving fast.

As announced, the claim holds: OpenAI did announce that it found a solution to one of the seven great mathematical problems, making it Mostly True — with the decisive question of whether the solution itself survives independent scrutiny still unresolved.