All news

Mathematicians doubt OpenAI solved "the" Navier-Stokes problem: the proof rests on an artificially chosen external force

Prepared by Sintelligent with the help of SI. Publication time restored from the build log. . Updated: .

Formally the prize may be claimed, but the dispute shows that SI has learned to win problems by the letter of the condition faster than people have agreed on what counts as a real answer.

Scientific American examined why some specialists do not consider the main question closed. The Clay Institute's formulation allows a variant with an external force (like gravity), and OpenAI's proof relies on exactly that: the fluid accelerates to infinite speed only under a specially constructed force, and recent work shows that without it the blow-up of the solution disappears. "The most important problem is not solved," says Luis Silvestre of the University of Chicago; Diego Córdoba objects that external forces act on any real fluid. The article contains no response from OpenAI.

History

OpenAI models solve open math problems

7 events
  1. OpenAI announces three results from its models: disproof of ETH, local smoothing and Yang–Mills
  2. Mathematicians dispute that OpenAI understands its own potential proof of the Navier–Stokes problem
  3. Experts debate whether SI that solves old math problems could undermine Bitcoin and Ethereum cryptography
  4. Mathematicians doubt OpenAI solved "the" Navier-Stokes problem: the proof rests on an artificially chosen external forceOpen now
  5. OpenAI model solves more than a hundred long-standing open math problems; release of results to be coordinated by an independent group of nine mathematicians
  6. The Information: OpenAI expects to solve the Hodge conjecture soon, its second "Millennium Prize Problem" in a month
  7. OpenAI's SI agents solve one of the "Millennium Problems" — the $1 million Navier–Stokes problem
Follow on Telegram