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.
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.

People’s Daily rejects US claims of malicious AI distillation, warns of countermeasures

Databricks to Invest Over US$350 Million in Singapore, Double Its Workforce

Personetics Launches AI Banking Console for Relationship Managers

Anthropic Sets October Launch for Singapore Office With Local Hiring Planned

