
What happened
OpenAI announced that its agents solved the Navier–Stokes existence and smoothness problem, one of the Millennium Prize Problems. The proof was obtained using an internal model that dramatically outperforms the Astra model, released last week.
Why it matters
NYU mathematician Tristan Buckmaster posted a document accusing OpenAI of using his and Levent Alpöge's AI-assisted work without credit; OpenAI denies this. The episode highlights that solving major math problems may now demand resources only available at a couple of frontier AI companies.
What to watch
The controversy hinges on whether OpenAI's models used Buckmaster and Alpöge's work. OpenAI solved the problem by running about 10,000 agents concurrently, at a cost of millions of dollars; the company says it will not claim the one million dollar prize.
WHO IT HITSHuman mathematicians face a future where frontier AI companies with massive computing resources solve the most important open problems, potentially leaving few significant problems for those outside such companies. The norms of academic collaboration that undergird mathematical progress may be challenged.
Summaries like this, every morning.
The announcement that OpenAI's agents solved the Navier–Stokes problem would normally be a landmark achievement in mathematics. However, the credit dispute with Tristan Buckmaster and Levent Alpöge has shifted the focus to how AI-driven research may bypass traditional academic norms. Both teams used an approach pioneered by Diego Córdoba and Luis Martínez-Zoroa, and while independent arrival at the same method is possible, the coincidence has fueled suspicions.
The deeper issue is the changing nature of mathematical progress. Buckmaster and Alpöge, working with publicly available models for nearly a year, made significant progress but did not achieve a full solution. OpenAI, in contrast, solved the full problem in a few days using an internal model and about 10,000 concurrent agents at a cost of millions of dollars. This disparity raises questions about what role individual human mathematicians can play when such resources are concentrated in a few companies.
The outcome of this controversy could shape how AI companies handle credit and transparency in research. If OpenAI's models did use Buckmaster and Alpöge's work without acknowledging it, that would reflect poorly on the company. But even if they did not, the episode suggests that solving major mathematical problems may increasingly depend on access to frontier AI capabilities, potentially leaving most human mathematicians without the resources to compete.
Pick your industry and the AI tools you use, and get news related to your work every day.
Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →
Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.
SORACOM's Shibata tested whether Meta's Muse agent, in its Linux VM, could reach IoT devices via SORACOM Arc a…

The Digital Agency started offering the prototype "国会答弁作成支援AIアプリ" on Government AI Genai to about 180,000 gove…

Canada is taking an equity stake of up to $1.1 billion in a Toronto-based AI startup, as Washington's allies i…

Meta's Muse AI agent is now available in Japan via smartphone and web apps, logging in with a Meta account; it…

Amazon CEO Andy Jassy told analysts that few customers buy through outside shopping agents because the experie…

Andy Jassy said AWS can grow north of 40% in 2027 and 2028 and become a trillion-dollar revenue business in fi…
