OpenAI releases 722 math papers at once, and mathematicians question them

Open problems addressed

372 problems

The papers, produced largely by an unreleased AI model, address 372 open problems from algebra and geometry to theoretical computer science.

Some claim progress on the Riemann hypothesis and the Birch–Swinnerton-Dyer conjecture, two Millennium Prize Problems that each carry a US$1 million prize.

Background

OpenAI has already retracted three papers over an elementary error and amended several others whose mistakes invalidated their results.

OpenAI says it has formalized 300 of the main results with proof-checking software, but whether mathematicians will accept those checks is not yet clear.