What happened
On 6 October 2026, OpenAI released a public collection of 722 mathematical manuscripts grouped into 372 families of related results. OpenAI says the vast majority were produced through a common procedure using an unreleased internal model; approximately 4,000 problems were posed, with about three hours of ChatGPT Pro thinking compute per result on average. The repository includes preprints, source files, citation and revision protocols, and Lean formalizations for many but not all proofs. OpenAI says some unformalized results could have issues and that additional formalizations will be added. The release includes claims about major open problems across mathematics, but this ledger entry treats the corpus as one provisional cluster and does not establish that every manuscript is correct or independently novel. Exceptions named by the repository include the Riemann zeta zero-free-region work and the Hodge conjecture result for CM abelian varieties; the 11/12 zero-free-region writeup was human-edited. Earlier individually recorded results from the same internal model, including the Navier–Stokes result, remain separate records and are not counted here as newly established theorems.