Show Notes
How do you attack a math problem that has resisted proof for ninety years? OpenAI's answer was to point roughly ten thousand AI agents at it and let them work together for eighty-eight hours. This episode looks at OpenAI's claimed solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems, and at the multi-agent research system that produced it.
Navier-Stokes describes how fluids like air and water move, and the open question is whether a smooth three-dimensional flow can stay smooth forever or can break down into a singularity in finite time. OpenAI says an internal model, described as more capable than GPT-6 Astra, coordinated about ten thousand agents that read a cached copy of the web, ran code, and split into groups pushing toward a proof or a disproof. Codex consolidated useful intermediate results and shared them across groups. The agents exchanged around 2.7 million messages and generated roughly 130 billion output tokens before the system produced a counterexample: a fluid flow that starts smooth and develops unbounded speed in finite time. The result was formalized and checked in Lean, and OpenAI released a 165-page proof.
The episode is careful to frame this as a claim rather than a settled fact. The Clay Mathematics Institute still lists the problem as unsolved, and mathematicians need time to scrutinize the argument. A credit dispute has also erupted: NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpoge had been working on the same problem, and Buckmaster has publicly questioned OpenAI's timeline and whether its models drew on their in-progress work.
Beyond the headline, there is a practical lesson for anyone building with AI. The advantage on display is the research system around the model: many agents exploring independently, sharing what they find, synthesizing, and verifying. You can run a scaled-down version of the same pattern with a handful of specialized agents and a reviewer. If you care about AI agents, multi-agent systems, and where AI research is heading, this episode breaks down what happened and why the architecture is the part worth watching.
Sources & References
Science — How an AI math breakthrough ignited a controversy https://www.science.org/content/article/how-ai-math-breakthrough-ignited-controversy TechCrunch — OpenAI fought dirty on career-making math problem, says NYU mathematician https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/ CoinDesk — OpenAI says 10,000 AI agents solved a $1 million math problem. Now mathematicians are fighting https://www.coindesk.com/tech/2026/09/09/openai-says-10-000-ai-agents-solved-a-usd1-million-math-problem-now-mathematicians-are-fighting Quartz — OpenAI said its AI cracked a $1 million math problem. A dispute erupted https://qz.com/openai-ai-navier-stokes-millennium-prize-math-090826 Wikipedia — Levent Alpoge https://en.wikipedia.org/wiki/Levent_Alp%C3%B6ge
Voice narration is AI-generated.
More from Learn AI in Bits
Recursive self-improvement is the idea that an AI can improve the very process it uses to improve itself, and this episode separates what's been demonstrated so far from the dramatic predictions often attached to the term. It draws a clear line between self-correction (revising one answer), automated optimization (keeping the best of several tested variants), and true recursive improvement, where the system changes the process that generates future improvements, so the next round starts with a better improver.
This week's AI News Sunday Wrap-Up covers a week where the industry moved on several fronts at once: new flagship and open models, enterprise agent governance, a serious safety warning, legal pressure, and the physical infrastructure limits behind the AI race.
Meta's Muse story is moving fast, and this episode takes a closer look at Muse Spark, the multimodal reasoning model family behind Meta's push into AI agents, including yesterday's release of an open-weight version for developers.
When a large language model generates text one token at a time, even a fast GPU hits a sequential bottleneck. This episode explains speculative decoding, an inference technique that prepares several tokens at once and checks them together, and when the extra computation pays off.
When an AI model answers slowly, the problem usually isn't its intelligence — it's how the serving system moves data through a GPU. This episode goes one level below the basic inference loop covered in an earlier episode, into GPU memory, the key-value cache, attention kernels, and the scheduling techniques used by systems like vLLM and NVIDIA TensorRT-LLM.