OpenAI Publishes 722 AI-Generated Math Manuscripts as Altman Signals a Discovery Era

OpenAI has published 722 mathematical manuscripts produced by an unreleased internal frontier model, a release Sam Altman framed as a step into a new era of AI-assisted discovery. The company says the catalogue groups the work into 372 result families and includes machine-checkable proof artifacts, while the mathematics community now faces the harder task of validation and interpretation.