What happened
OpenAI's internal system proved that smooth fluid motion can break down into a singularity in finite time, resolving the Navier–Stokes Millennium Prize Problem.
Why it matters
The question had been unresolved for roughly 90 years; OpenAI shared both a writeup and a formal proof in Lean, and does not claim the prize.
What to watch
The result hinges on whether the mathematical community accepts the proof; OpenAI notes its model is significantly more capable than GPT‑6 Astra.
WHO IT HITSMathematicians and fluid dynamicists will need to verify the proof; AI researchers and business leaders should watch for further demonstrations of AI's capability in scientific discovery.
Ask the AI about this article →
Summaries like this, in your inbox every morning.
OpenAI's announcement highlights a significant leap in AI reasoning, as the internal model outperforms GPT‑6 Astra in benchmarks. The effort began after rumors of other resolutions and involved a multi-agent system with 4.9 million messages and 300 billion output tokens. The proof's Lean formalization adds rigor, and OpenAI acknowledges concurrent work by Levent Alpöge and Tristan Buckmaster on a related Euler problem. This milestone suggests AI can tackle frontier mathematical challenges, but its acceptance will depend on peer review and the broader mathematical community's validation.
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 Kochson, 27, announced on X on September 8 that he left Anthropic, where he worked on pretraining for th…
