OpenAI Claims a $1 Million Math Prize — If Peer Review Agrees
OpenAI published what it describes as a proof of the Navier–Stokes existence and smoothness problem — one of mathematics' seven Millennium Prize Problems — sparking a dispute over credit that included an allegation that an OpenAI researcher pressured an NYU mathematician to drop an Anthropic co-author.
- Navier–Stokes governs turbulent fluid flow; no proof of solution existence had stood for over 150 years
- Nature and Quanta both reported it; Clay Institute independent verification is still pending
- Anthropic separately formalized a proof of Fermat's Last Theorem using AI tools in the same week