What was claimed
OpenAI/AI has independently solved the Navier-Stokes Millennium Prize Problem (distinct from human mathematicians' work); this is a genuine AI-driven breakthrough on a 90-year unsolved math problem
Our verdict
InaccurateOpenAI's work was directly inspired by rumors of Buckmaster and Alpöge's unpublished research. Both researchers used AI models from OpenAI and Anthropic to develop their solutions, making the work collaborative rather than independent. OpenAI has announced that an internal AI system produced a proof resolving the Navier–Stokes existence and smoothness Millennium Prize Problem, and multiple reports state the proof was generated by AI agents rather than by human mathematicians. However, these sources emphasize that the result is a claimed solution that is very new, still under expert scrutiny, and not yet officially recognized or awarded by the Clay Mathematics Institute, so presenting it as a fully established "genuine" solved breakthrough overstates its current status. (Only 2 of 3 AI systems responded.)
Check your own claim
Paste any statement, headline, or AI answer — 3 independent AIs verify it in seconds, with sources.
Key findings
This is distinct from human mathematicians' work
OpenAI/AI has independently solved the Navier-Stokes Millennium Prize Problem (distinct from human mathematicians' work); this is a genuine AI-driven breakthrough on a 90-year unsolved math problem
This is a genuine AI-driven breakthrough on a 90-year unsolved math problem