What happened
OpenAI proved Navier-Stokes equations sometimes break down under extreme conditions, solving a $1 million Millennium Prize Problem. It deployed around 10,000 agents of an unreleased model on Aug. 28, finishing within 88 hours.
Why it matters
The question had stumped scientists for two centuries, per Scientific American. Earlier, two mathematicians rushed solutions, with one accusing OpenAI of muscling in; OpenAI denied it. This marks a shift from human-led to AI-led discovery.
What to watch
Whether the proof withstands peer review and whether OpenAI's move sparks more clashes with human researchers. The drama involves mathematician Tristan Buckmaster, who called it a "Deep Blue-Kasparov moment."
WHO IT HITSMathematicians and fluid dynamics researchers face potential competition from AI-driven discovery. Funding bodies and academic institutions may need to weigh how to credit or prioritize such machine-generated proofs.
Ask the AI about this article →
Summaries like this, in your inbox every morning.
This result came from a focused push by OpenAI, which deployed a large agentic system on a single problem. The speed—88 hours for a question open for two centuries—highlights how AI can now tackle pure mathematics, not just pattern recognition. Buckmaster's reaction suggests professional mathematicians see this as both a threat and a breakthrough.
The controversy reveals a key tension: how credit and precedence work when an AI system, guided by a company, enters a field long driven by individual insight. Buckmaster's "Deep Blue-Kasparov moment" framing suggests a parallel to when a machine first beat a human champion, but here the stakes include a $1 million prize and the future of mathematical research.
What is unresolved is whether the proof is fully accepted by the mathematical community. If it holds, it may push more scientists to rely on AI for theoretical breakthroughs, even as disputes over recognition—like the one with Buckmaster—could repeat.
For example, today's edition would include:
AI-summarized, only the topics you pick — one digest a day via Email, Slack, or Discord.
Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →
Ask AI anything about this article. Q&As are published on this page for other readers too.
OpenAI product lead Tibo said on September 9 that surging demand for GPT-6 Astra may force a temporary halt on…
Stratechery says OpenAI solved one of the most famous math problems, calling it extremely impressive but of li…
Conveo, a two-year-old Belgian startup, raised $50 million in a Series A from DST Global, Balderton Capital, V…
Jensen Huang declared AGI has arrived with OpenAI's Astra, trained on 100,000 Grace Blackwell chips
Anthropic released Claude Fable 5.1 and Mythos 5.1 with lower pricing and stronger agentic performance, claimi…
Jacob Coxon, who trained AI systems at Anthropic and OpenAI, resigned, accusing both of racing to self-improvi…
