OpenAI just published 722 math manuscripts from an unreleased model.
They span 372 result families, after the model was tested on about 4,000 problems.
This is a insane amount of AI-generated math in one release.
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.