Primary evidence
- Sharing AI progress in mathematicsS2 · Official institutional · Official announcement · 2026-10-06
- OpenAI mathematics manuscript collectionS1 · Primary research · Repository · 2026-10-06
OpenAI releases 722 AI-generated mathematics manuscripts across 372 result families
The public repository includes an overview, a manuscript map, PDFs and sources, a Lean library and formalization catalogue, ten selected reasoning summaries and release-history commitments.
What happened?
On 6 October 2026, OpenAI released a public collection of mathematical manuscripts and proof artifacts produced by an unreleased internal model. The repository reports 722 manuscripts organized into 372 result families, selected from roughly 4,000 posed research problems. OpenAI says that the vast majority were produced with a common procedure averaging about three hours of ChatGPT Pro thinking compute per result. The collection includes claimed resolutions and advances across multiple areas of mathematics and theoretical computer science, with many but not all manuscripts accompanied by Lean formalizations.
The public repository includes an overview, a manuscript map, PDFs and sources, a Lean library and formalization catalogue, ten selected reasoning summaries and release-history commitments. OpenAI explicitly warns that some unformalized results may contain issues and says revisions will remain accessible. The release followed consultation with the independent Advisory Group on Mathematics and Artificial Intelligence. AGMAI publicly stated that its advice does not endorse the mathematics or OpenAI's process and characterized the release as the beginning of broader human understanding and community assessment.
Why it matters
The event changes the scale at which frontier AI-generated mathematics enters the public research ecosystem. It combines bulk research generation, formal verification infrastructure, provenance disclosure, citation and revision mechanisms and governance consultation in one release. It also creates a new editorial challenge: aggregate historical importance can be high even while individual results occupy very different verification states and require separate specialist review.
Significance rationale: This release is a Historical Milestone because it moves AI-generated research mathematics from isolated flagship results to a public corpus at unprecedented scale. OpenAI released 722 manuscripts grouped into 372 result families, together with a substantial Lean formalization programme, reasoning summaries, compute and process disclosures, persistent public artifacts and revision commitments. The historical significance lies in the scale and public scholarly interface of the release, not in treating every mathematical claim in the collection as correct.
Historical context
Evidence & status at a glance
- Significance
- H1 · Historical milestone
- Verification
- Under verification
- Evidence level
- E3 · Inspectable artifact
- AI role
- Unclear
- Formal assurance
- Artifact available
Contribution & verification
- Mathematical novelty
- New result
- Interface
- Informal, Formal, Symbolic, Hybrid
- AI contribution
- OpenAI describes the unreleased internal model as the primary producer of the collection and says the vast majority of results were obtained through a common evaluation procedure. However, the exact human contribution, editing, checking and formalization process varies across the 372 families. Chronicle therefore records strong AI authorship at the aggregate level without assigning one uniform per-result model-human division of labour.
- Human contribution
- Humans selected and posed research problems, curated results into families and manuscripts, prepared the release infrastructure, performed varying levels of editing and verification, and coordinated formalization and external consultation. The repository identifies exceptions to the otherwise common production procedure.
- Verification
- Under verification · E3 · Inspectable artifact · Artifact available
- Last reviewed
- 2026-10-07
Technical details
- Systems
- openai-internal-math-model, lean, comparator
- Organizations
- openai, advisory-group-on-mathematics-and-artificial-intelligence
- Problems
- —
- Methods
- large-scale-mathematical-discovery, research-problem-evaluation, formal-verification, provenance-disclosure, responsible-release
Sources & artifacts
- Sharing AI progress in mathematicsS2 · Official institutional · Official announcement · accessed 2026-10-07
- OpenAI mathematics manuscript collectionS1 · Primary research · Repository · accessed 2026-10-07
- On OpenAI's Release of Mathematical ResultsS2 · Official institutional · Official announcement · accessed 2026-10-07
- Responsible Release of AI-Generated MathematicsS2 · Official institutional · Official announcement · accessed 2026-10-07
- OpenAI public mathematics collectionArtifact · Code
Verification history
- 2026-10-06 · Under verification · E3 · Inspectable artifact
OpenAI released the manuscripts, source files and a substantial public formalization library. The repository explicitly states that verification stages differ across results, that not all manuscripts have Lean formalizations and that some unformalized results may contain issues.
- 2026-10-06 · Under verification · E3 · Inspectable artifact
AGMAI independently confirmed its consultation role and the importance of public scrutiny while explicitly declining to endorse the mathematical claims or certify OpenAI's compliance with its recommendations. Aggregate release significance is therefore kept separate from per-result mathematical verification.
Corrections
No corrections recorded.