OpenAI Shares New Math Results from Internal AI

OpenAI has released a large set of new mathematical results created by one of its unreleased internal models.

The collection includes hundreds of papers covering many open problems.

OpenAI also shared details on how the work was done, including that the average result used about the same compute as three hours of ChatGPT Pro thinking.

Many of the proofs are available in a form computers can check.