The release is real, dated, and documented on OpenAI's own channels. OpenAI published new results on open problems in mathematics from an internal frontier model and shared Lean proof formalizations and research details on GitHub on October 6, 2026, stating "We're releasing a broad range of new mathematical results produced by an internal frontier model."

The company said it had been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study and had drawn on their advice and public recommendations to inform how it released the results, publishing them in a GitHub repository with protocols for paper revisions and citations.

The repository confirms the scale and the verification status. The catalogue contains manuscripts organized into 372 families, where a family groups related papers which may include a principal result, companion arguments, consequences, or alternative proofs, and the repository has roughly 42% of top-line results formalized.

OpenAI states that the collection includes results at different stages of verification and that not all have accompanying Lean formalizations.

The vast majority of results were obtained with the same procedure using an unreleased internal OpenAI model, each result used on average three hours of ChatGPT Pro thinking compute, and the model was posed approximately 4,000 problems.

The independent advisory group describes the release in similar terms. AGMAI states that OpenAI released a large collection of mathematical results generated by an internal model, reporting solutions to hundreds of open questions, and calls this an important event for mathematics.

In a statement the board called public release "the beginning, not the completion, of the process of human understanding and the incorporation of the work into mathematical knowledge."

On the "years" element, the sentiment is reported by more than one outlet. Scientific American reported that scientists were just beginning to parse through the material and that it will be months, perhaps years, before the field understands how much novel mathematics was added to the literature. The Verge article the post promotes reports a mathematician's conditional framing: "If the AIs would disappear now, as though there were aliens that came to Earth and then just left, we would be studying this for the next 10 years, trying to understand everything."

Evidence that cuts against treating the output as settled mathematics: OpenAI's version log records that in "Algebraicity of Weil classes on split abelian eightfolds" a sign error invalidates a stabilization-trace cancellation argument and the construction used by two dependent papers, leading to the withdrawal of three manuscripts, with 14 other manuscripts revised with proof repairs, corrected statements, clearer hypotheses and dependencies.

The Verge reported that the degree to which each result had been verified varied wildly and that fewer than half the manuscripts appeared to have been described formally.

Scientific American reported that quality remains extremely uneven, with mathematicians finding some papers readable and others nonsensical.