OpenAI publishes math results from an internal frontier model and adds a Simons update
OpenAI published a research post on October 6, 2026 describing a broad set of mathematical results produced by an internal frontier model. The company says it is releasing the results in a GitHub repository with paper-revision protocols and citations, and that many proofs have Lean formalizations that can be checked by computer. OpenAI also says the repository includes 10 reasoning summaries, compute estimates expressed in ChatGPT Pro-equivalent usage, and statistics on attempted problems. In an October 15 update, OpenAI said it is contributing $5 million to a new Simons Foundation initiative to help mathematicians examine and build on AI-produced results.
Check the sources
This is a NextGen-AI briefing, not a reproduction of the discovery source. A newsletter may cover several developments; consult the evidence below for this briefing’s specific subject. The source date refers to the discovery entry, not necessarily the announcement date.