OpenAI's apparent maths breakthrough raises profound questions

[mklabgr]

Source: The Economist
This is a summary/commentary on the original article. 

The original article is available to subscribers at The Economist.

OpenAI claims AI agents solved the Navier–Stokes Millennium Problem

OpenAI says that a large swarm of AI agents has found a solution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems established by the Clay Mathematics Institute. The problem asks whether solutions to the three-dimensional Navier–Stokes equations can develop a finite-time singularity, where a quantity such as fluid velocity becomes unbounded. According to the account, OpenAI began its experiment on September 1st, 2026, using teams of autonomous agents capable of searching the web, running code and collaborating. After an intermediate breakthrough, around 10,000 agents were focused on the problem and allegedly produced a singular solution after 88 hours, exchanging roughly 2.7 million messages and consuming at least $6.5 million in computing resources. The proposed construction involves a rotating vortex whose velocity grows without bound, which—if rigorously validated—would demonstrate finite-time blow-up rather than global smoothness.

The announcement is controversial because mathematician Tristan Buckmaster of NYU and Levent Alpöge of Anthropic had been working independently on a closely related AI-assisted approach. Their incomplete research was published shortly before OpenAI's announcement, raising questions about priority, attribution and whether ideas from their work could somehow have influenced OpenAI's models. Buckmaster has suggested that material from their research may have entered training data, while OpenAI reportedly says it cannot completely rule this out. More fundamentally, the episode raises a new question for mathematics: when AI systems build on decades of human research and then cross the final barrier to a proof or counterexample, how should mathematical credit be assigned? OpenAI has said it does not intend to claim the $1 million Millennium Prize.

Key takeaways

• The Navier–Stokes problem concerns whether smooth $3$-dimensional fluid flows can develop finite-time singularities.
  
• OpenAI claims its agents found such a singularity, which would amount to solving the Millennium problem through a counterexample to global smoothness.
  
• The reported computation involved about 10,000 AI agents, 88 hours, 2.7 million messages, and at least $6.5 million in compute.
  
• The result should still be regarded as a claim until the full mathematical argument is independently examined and verified.
  
• Parallel work by Buckmaster and Alpöge has created a dispute over intellectual priority and possible influence between human research and AI training.
  
• The case may become an important precedent for authorship, attribution and credit in AI-assisted mathematics.
  
• OpenAI says it will not seek the $1 million Clay Mathematics Institute prize.
  

ARTICLE