OpenAI claims Navier-Stokes solution using unreleased model
OpenAI deployed an unreleased model to solve the Navier-Stokes existence and smoothness problem, one of mathematics' seven Millennium Prize Problems carrying a $1M bounty since 2000. The breakthrough signals AI systems advancing into domains traditionally requiring deep mathematical insight and formal proof, though the achievement faces credibility questions from NYU mathematician Tristan Buckmaster, who alleges impropriety in collaboration with colleague Levent Alpöge. The incident underscores both AI's expanding frontier and emerging tensions around attribution and rigor in high-stakes mathematical discovery.
Modelwire context
Skeptical readThe summary frames Buckmaster's objection as a question of attribution, but his allegation of impropriety involving his own NYU colleague Alpöge suggests something more specific: a dispute over whether the human mathematical contribution was properly credited, obscured, or potentially laundered through the AI announcement. That distinction matters enormously for how the Clay Mathematics Institute would evaluate a prize claim.
This is largely disconnected from recent Modelwire coverage of model releases. The closest thread is Anthropic's Claude Fable 5.1 piece from early September, which flagged scientific reasoning as a competitive differentiator and introduced Terminal-Bench-Science as a new benchmark. That story was about measurable incremental gains on defined tasks. A claimed Millennium Prize solution is a categorically different kind of assertion, one with no established benchmark, no peer review pipeline yet public, and a $1M prize body that has never paid out. The evidentiary bar is incomparable.
Watch whether OpenAI submits a formal proof to the Clay Mathematics Institute within the next 90 days. Without that submission, or a preprint that Buckmaster and the broader community can audit, this claim has no path to verification and the impropriety allegation will dominate the story.
This analysis is generated by Modelwire’s editorial layer from our archive and the summary above. It is not a substitute for the original reporting. How we write it.
MentionsOpenAI · Tristan Buckmaster · Levent Alpöge · Navier-Stokes · Millennium Prize Problems · NYU
Modelwire Editorial
This synthesis and analysis was prepared by the Modelwire editorial team. We use advanced language models to read, ground, and connect the day’s most significant AI developments, providing original strategic context that helps practitioners and leaders stay ahead of the frontier.
Modelwire summarizes, we don’t republish. Simon Willison originally reported this story as “On the Navier–Stokes Millennium Prize Problem”. The full content lives on simonwillison.net. If you’re a publisher and want a different summarization policy for your work, see our takedown page.