OpenAI Says AI Has Solved 90-Year-Old Navier-Stokes Math Problem
OpenAI has announced that one of its AI systems has produced a solution to the Navier-Stokes existence and smoothness problem, a 90-year-old mathematical challenge. This problem, one of the seven Millennium Prize Problems, is fundamental to fluid dynamics and impacts fields like aircraft design and weather forecasting. The AI system generated an analytical proof demonstrating that a smooth fluid can develop a singularity, resolving the problem under one of its official formulations. The effort involved 10,000 concurrent AI agents, generating 2.7 million messages and 130 billion output tokens, with the initial solution taking 88 hours and Lean verification an additional 17 hours.
OpenAI’s reported solution to the Navier-Stokes problem, a 90-year-old mathematical challenge, reflects a significant advancement in AI's capacity for complex scientific discovery. While OpenAI is not claiming the $1 million Millennium Prize, the company presents this as evidence of AI's rapid progress in tackling problems that have eluded human solution for decades. This development could reshape how research is conducted in Asia's burgeoning AI sector, particularly in areas like advanced materials science or climate modeling, where complex fluid dynamics are critical. The scale of the AI effort, involving 10,000 concurrent agents and 130 billion output tokens, points to the immense computational resources now being deployed in AI research. For Asian tech companies and research institutions, this underscores the growing need for substantial investment in compute infrastructure to remain competitive in frontier AI development. The debate within the mathematics community regarding originality, despite OpenAI's denial of accessing specific user data, also highlights the ethical and attribution challenges that will increasingly accompany AI-assisted breakthroughs. The real story for Asia is not just the mathematical achievement itself, but the operational model behind it. The use of a multi-agent system and the rapid verification process in Lean suggest new paradigms for collaborative problem-solving that Asian AI labs could adopt. This could accelerate innovation in sectors from aerospace engineering in Japan to advanced manufacturing in South Korea, by providing tools to resolve long-standing scientific hurdles.
Share this article
Related reading
6 stories
Ex‐OpenAI researcher warns AI could kill humans, Anthropic safety executive backs grim forecast
OpenAI's rapid progress comes amid growing warnings from former researchers about AI's potential risks.

US or China? Why Kazakhstan refuses to pick sides as it eyes AI revolution

LUXEED And Aimoga Robots: Co-Building The Future Of Mobility Through A Connected Human-Vehicle-Home Ecosystem

Quad Foreign Ministers Meet In Atlanta, Agree To Expand Joint Exercises And Maritime Surveillance

Malaysia wants to move away from Waze. Will drivers make the switch?

