OpenAI Claims a Navier-Stokes Millennium Problem Resolution, Attribution Fight Follows
OpenAI says an unreleased model produced a resolution to the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems carrying a $1,000,000 prize since May 2000.
What it is
A results announcement from OpenAI describing a claimed mathematical resolution to the Navier-Stokes existence and smoothness problem, generated with the help of an unreleased model.
What it does
Presents a resolution to a problem that has resisted proof since it was named one of the Millennium Prize Problems in 2000, credited to work done with an unreleased OpenAI model.
Why it matters
Simon Willison notes the announcement is already overshadowed by accusations, and Terence Tao has separately warned that even the rumor of someone working a hard problem now triggers a flood of AI-assisted effort to solve it first, which changes incentives for sharing open problems at all.
How to use it
Read the primary source before repeating the claim; the attribution and verification questions around this result are still unresolved.
Terence Tao: AI Now Races to Solve a Problem the Moment It's Rumored
Terence Tao warns that even a rumor of someone working on a hard math problem now triggers a rush of AI-powered effort to solve it first, discouraging mathematicians from sharing promising research directions.
Was the 'First Runaway AI Agent' Actually Just a Rich Attack Surface?
Martin Alderson's analysis adds context to the OpenAI Hugging Face incident, noting Hugging Face's execution surface is unusually large and questioning whether the event was framed as more novel than it is.
One Endpoint, Many Backends: OpenRouter's Fallback Feature Has a Catch
OpenRouter's automatic fallback routing can send identical requests to different backend providers running different serving software, producing inconsistent outputs for the same model name.