OpenAI says it is releasing a broad range of mathematical results produced by an unnamed internal frontier model. In Sharing AI progress in mathematics, published by OpenAI on October 6, 2026, the company describes a release built around a GitHub repository, computer-checkable proof formalizations and additional information about how the results were produced.

The announcement does not identify the model or list the mathematical problems, theorems or papers included. It also does not establish that the results have been independently validated. Instead, it describes how OpenAI is documenting the work and inviting scrutiny from the mathematics community.

What OpenAI says it is releasing

OpenAI describes the material as a broad set of new mathematical results generated by an internal frontier model. The announcement presents this as a research release rather than a public launch of the model itself. OpenAI says it is working toward responsibly releasing the model that produced the results, but does not say that the model is currently available.

The page also says OpenAI consulted the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study while developing practices for sharing the work. That consultation is presented as part of the release process, not as independent confirmation of the mathematical results.

How the results will be shared and checked

For this release, OpenAI says it is publishing the results in a GitHub repository with protocols for revising papers and handling citations. The company says it is also exploring other community-hosted options that meet the advisory group’s guidelines.

The repository includes formalizations of many of the proofs in Lean. Lean is a programming language that allows mathematical proofs to be represented in a form a computer can check. A Lean formalization can make the logical steps of a proof more explicit and testable, but the announcement does not identify which proofs have been formalized or provide those formalizations.

OpenAI says it will add more formalizations as they become available. It also says future releases should improve the papers’ citations, mathematical exposition and presentation so readers can understand the results more easily.

What transparency information accompanies the papers

Alongside the mathematical material, OpenAI says the repository includes additional details about how the results were obtained. These include:

  • 10 summaries of the model’s reasoning

  • Estimates of compute expressed in terms of ChatGPT Pro usage

  • Statistics on the number of problems the model attempted

OpenAI says the average result used compute equivalent to roughly three hours of ChatGPT Pro thinking. That figure is an estimate expressed through a usage comparison, not a detailed account of the hardware, runtime or computational budget for each result.

The reasoning summaries are supporting documentation rather than necessarily a complete record of every internal operation. Their scope and level of detail are not established by the announcement alone.

What the announcement establishes—and what it does not

The announcement establishes OpenAI’s stated plan to publish a collection of mathematical results and supporting documentation. It also describes a release format that combines research papers with revision and citation protocols, Lean formalizations and information about attempted problems and estimated compute.

To assess the mathematical work itself, readers would need the repository and the individual papers, including their specific results, formalizations and supporting documentation. The supplied announcement does not provide those materials in detail.

OpenAI says it wants the release to support scientific openness and further progress in mathematics. It plans to fund workshops, conferences and special programs focused on understanding major results produced by AI, and says it will use community feedback to update its standards for future disclosures.

For now, the announcement is best understood as a description of a transparency-oriented research release rather than a detailed account of new mathematical discoveries. The value of the work will depend on the specific results, the quality of their exposition, the available formalizations and how mathematicians evaluate them.

Sources