x.com/mitduckmaster/status/2097389336673079300
1 correction found
*navier-stokes* in particular would be the first millennium problem to fall to AI capabilities
As of September 8, 2026, Navier–Stokes was still officially listed by the Clay Mathematics Institute as an unsolved Millennium Prize Problem, not a solved one.
Full reasoning
The post presupposes that Navier–Stokes had already "fallen" to AI. But the official source for Millennium Prize Problem status — the Clay Mathematics Institute (CMI) — still listed Navier-Stokes Equation under "Unsolved problems" on September 8, 2026, while listing only the Poincaré Conjecture under "Solved problems."
CMI's published rules also make clear that a claimed solution is not treated as an accepted solution immediately: before CMI will even consider one, it must be published in a qualifying outlet, at least two years must pass, and it must achieve general acceptance in the global mathematics community. So even if an AI company announced a proof that day, it would still be incorrect to state that Navier–Stokes had already become the first Millennium Problem solved by AI.
In short: as of the date of this post, the official record still treated Navier–Stokes as open, not solved.
2 sources
- The Millennium Prize Problems - Clay Mathematics Institute
Unsolved problems ... Navier-Stokes Equation ... However, there is no proof for the most basic questions one can ask: do solutions exist, and are they unique? ... Solved problems Poincaré Conjecture ...
- Rules for the Millennium Prize Problems - Clay Mathematics Institute
Before CMI will consider a proposed solution, all three of the following conditions must be satisfied: (i) the proposed solution must be published in a Qualifying Outlet ... (ii) at least two years must have passed since publication, and (iii) the proposed solution must have received general acceptance in the global mathematics community.