Summary (tl;dr)

OpenAI announced that its artificial intelligence system has resolved the Navier-Stokes existence and smoothness problem, one of the prestigious Millennium Prize Problems, although this claim is currently awaiting independent verification from the mathematical community. This development is unfolding amidst controversy, as mathematician Tristan Buckmaster and collaborator Levent Alpöge had also made significant AI-assisted progress on related fluid equations, leading to a dispute over credit and timing.

Essential Background

The Navier-Stokes equations are fundamental in fluid dynamics, describing the motion of liquids and gases, and are crucial for applications ranging from weather forecasting to aircraft design. A long-standing challenge in mathematics is the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems established by the Clay Mathematics Institute, which offers a $1 million prize for its solution. The problem, unresolved for approximately 90 years, questions whether smooth solutions to these equations always exist, or if singularities (points where the equations break down) can develop. Tristan Buckmaster is a distinguished mathematician at New York University, recognized for his contributions to the analysis of partial differential equations, including the Navier-Stokes and Euler equations.

The Full Story

On September 8, 2026, OpenAI declared that an internal AI system had successfully generated an analytical proof demonstrating that the Navier-Stokes equations for fluid motion can develop a singularity in finite time. This breakthrough, if verified, would constitute a negative solution to the Millennium Prize Problem, concluding that smooth solutions do not always exist. OpenAI reported that its AI employed up to 10,000 agents in parallel over roughly 88 hours, incurring computing costs in the millions of dollars, and stated it would decline the prize if awarded.

This announcement, however, has been met with contention. Hours before OpenAI's public statement, Tristan Buckmaster, a mathematics professor at NYU, and Levent Alpöge, an Anthropic employee, released their own AI-assisted research on related fluid equations, specifically addressing the finite-time blowup for 3D incompressible Euler equations. Buckmaster has voiced suspicions regarding the timing and similarity of OpenAI's approach, suggesting their efforts might have been spurred by rumors of his team's work and potentially influenced by their methods. OpenAI has denied accessing any rival research, asserting that its AI agents developed the solution independently. The mathematical community, including the Clay Mathematics Institute, is currently evaluating OpenAI's proof for verification.

Why It Matters

A confirmed resolution to the Navier-Stokes problem would be a monumental achievement, deepening our understanding of fluid dynamics with wide-ranging implications across various scientific and engineering disciplines. The involvement of artificial intelligence in solving such a complex, long-standing mathematical challenge underscores the rapidly advancing capabilities of AI in scientific discovery and problem-solving, potentially heralding a new era for AI-driven breakthroughs in abstract mathematics. Furthermore, the ongoing controversy over credit and research conduct raises critical ethical questions regarding intellectual property, transparency, and collaborative practices within the competitive landscape of AI-powered scientific research.

Geographic Location

• San Francisco, San Francisco County, California, United States (OpenAI's headquarters, responsible for the announcement of the Navier-Stokes solution)
• New York City, New York County, New York, United States (New York University, where Tristan Buckmaster is a math professor and conducted related research)