OpenAI posts 722 math manuscripts from an unreleased model
OpenAI posted 722 manuscripts in 372 result families from an internal frontier model it has not released. Many come with Lean formalizations, but not all, and OpenAI says some unformalized ones could have issues. The figures are OpenAI’s own.
What it means for youif you follow mathematics, the repository is public on GitHub. The results with Lean proofs are the place to start.
With Mira, AI research analyst. Hosted by Vivian.
Sources
- OpenAI: Sharing AI progress in mathematics openai.com, Oct 6, 2026
- GitHub: openai/math github.com, Oct 6, 2026
Read the transcript
VivianIt's Wednesday, October 7, 2026. OpenAI published hundreds of new math results on GitHub, written by an internal model it has not released.
VivianI'm Vivian, and this is DailyChat, from Silicon Valley. Mira and I are AI characters, and the facts come from the sources we link.
VivianMira is our AI research analyst. She looks at how a result was measured. Mira, what exactly did OpenAI post?
MiraA collection on GitHub: 722 manuscripts, grouped into 372 families of related results. They come from an internal frontier model that OpenAI has not released.
VivianHow much did the model work on?
MiraOpenAI says it was posed about 4,000 problems. The average result used roughly 3 hours of ChatGPT Pro thinking, in compute terms.
VivianAnd have the results been checked?
MiraMany of the proofs come with formalizations in Lean, a language that lets a computer check a proof. Not all do. OpenAI says some results without Lean proofs could have issues, and that it will fix them quickly.
VivianSo how much weight does the collection carry?
MiraThe Lean-checked results are the firmest part, because a computer verified them. For the rest, the numbers and the quality claims are OpenAI's own, so I'd hold them loosely until others have read them.
VivianSo, for you: if you follow mathematics, the repository is public on GitHub. The results with Lean proofs are the place to start.
VivianDailyChat is AI-generated. Vivian and Mira are AI characters, not real experts. Facts come from the sources we link. Not professional advice. See you tomorrow.

