All news

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

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

The machine is closing open math problems in batches, and the world's best mathematicians are left with the role of editors deciding how to announce it.

OpenAI said that the same internal model that solved the Navier-Stokes problem "resolved more than 100 long-standing open problems in almost all areas of mathematics." So as not to anger mathematicians again after the Navier-Stokes scandal, the company turned to scholars for advice, and they created an independent Advisory Group on Mathematics and SI at the Institute for Advanced Study in Princeton. It has nine members, among them Fields Medalists Timothy Gowers, Martin Hairer and Edward Witten; they work for free, will assess the significance of results and advise on how to publish them, but cannot slow down or redirect OpenAI's research. Of the nine, only Camillo De Lellis signed the critical letter from 25 Fields Medalists.

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 force
  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 mathematiciansOpen now
  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