HOLY, the rumors were true: OpenAI has published 722 mathematical manuscripts produced by an *unreleased* internal model. The collection groups them into 372 families of related results, drawn from an evaluation involving approximately 4,000 research problems. OpenAI says the standard procedure used an average of three hours of ChatGPT Pro thinking compute per result. The release includes papers, proof artifacts and selected reasoning summaries. The model itself remains unreleased.