OpenAI announced an AI-generated and formally verified claimed solution related to the Navier–Stokes Millennium Prize Problem, using an internal multi-agent system, which prompted public dispute over prior work and possible information influence.
Deployment ● Confirmed 72% confidence first seen
OpenAI said it found and formally verified a result related to the Navier–Stokes existence and smoothness problem using an internal model and a large multi-agent setup, reporting the search took about 88 hours. The announcement was followed by controversy, including allegations by a mathematician that OpenAI may have benefited from knowledge of others’ progress, which OpenAI denied.
Navier–Stokes Millennium Prize Problem
OpenAI
Tristan Buckmaster
Anthropic
Astra-next
Claude
Clay Mathematics Institute
Codex
Cognition
GPT Image 2.5
GPT-5.6 Sol
Lean
Levent Alpöge
Meta
Millennium Prize
Millennium Prize Problem
Mistral
Muse agent
Navier-Stokes equations
Navier–Stokes Millennium Prize Problem
Navier–Stokes existence and smoothness problem
Sébastian Bubeck
The New York Times
Wired
Decision brief
- What changed
- OpenAI publicly claimed it solved the Navier–Stokes existence and smoothness problem using a new internal AI model and roughly 10,000 autonomous AI agents, saying the effort finished in 88 hours at an estimated $10 million compute cost. The claim remains unverified by the Clay Mathematics Institute and has triggered a public dispute over whether OpenAI’s work was influenced by information about other researchers’ progress.
- Why it matters
- For business leaders, this is a high-visibility test of whether frontier AI can generate valuable original research through large-scale autonomous computation, not just assist human experts. It also creates immediate governance and reputational questions: if the result is validated, it strengthens the strategic case for investing in agentic research systems and compute capacity; if process concerns persist, it raises risks around research integrity, disclosure, and external trust.
- Evidence
- The Verge, TechCrunch, and BBC all report that OpenAI made the claim publicly and that the result is controversial and unverified. BBC provides the most specific operational details on agent count, runtime, token volume, and estimated compute cost, while TechCrunch independently reports the allegations from NYU mathematician Tristan Buckmaster and OpenAI’s denial through research lead Sébastian Bubeck.
- What remains uncertain
- The central unknown is whether OpenAI’s claimed proof is mathematically correct and will be accepted by the Clay Mathematics Institute or the broader math community. It is also unverified from the provided coverage whether OpenAI had access to nonpublic information about other researchers’ progress, so any conclusions about misconduct would be an assumption beyond the reporting.
- Monitor next
- Watch for formal review outcomes or public technical scrutiny from the Clay Mathematics Institute and leading mathematicians, along with any evidence OpenAI releases about its research process and information controls.
Analytical support, not advice — assumptions and open questions stated above.
Source coverage
On the Navier–Stokes Millennium Prize Problem
OpenAI
official
Drama swirls around OpenAI’s legendary mathematical milestone
The Verge
independent
OpenAI fought dirty on career-making math problem, says NYU mathematician
TechCrunch
independent
OpenAI says it cracked 90-year-old maths problem in 88 hours
BBC News
independent
On the Navier–Stokes Millennium Prize Problem
Simon Willison’s Weblog
industry analysis
OpenAI says it cracked Navier-Stokes, one of math's grand challenges.
Fortune
independent
[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded
Latent Space
newsletter