OpenAI's Navier–Stokes Result Is a Major Formalization Event, Not Yet a Prize Verdict
The important question is not simply whether AI solved Navier–Stokes, but exactly which Clay alternatives the formal proof establishes and what remains for independent mathematical review.
2026-09-19