What Happened
On October 6, 2026, OpenAI released a repository of mathematical manuscripts and supporting artifacts generated by an internal frontier model. As checked on October 8, the repository listed 719 manuscripts organized into 372 related families.
Why It Matters
A public corpus allows mathematical AI claims to be inspected beyond selected examples or benchmark scores. Publishing proof artifacts, revision protocols and information about attempted problems makes verification status and scientific communication part of the evaluation.
Technical Details
The collection includes Lean formalizations for some results, selected reasoning summaries and information about computational effort. Its October 8 README reported roughly 42% of top-line results formalized. These counts describe the inspected repository snapshot, not necessarily launch-day totals. The authors explicitly warn that unformalized results may contain errors. The release therefore represents an inspectable research collection, not confirmation that every manuscript contains a correct, novel or independently accepted mathematical discovery.