OpenAI open-sources 722 math manuscripts and reasoning traces from its internal frontier model
gdb · x · 2026-10-07
OpenAI released a broad range of new mathematical results produced by an internal frontier model, alongside an open-source GitHub repo (openai/math, 2k stars, Apache-2.0).
- The repo contains 722 manuscripts plus proof artifacts, organized into lean (formal proofs), preprints, and reasoningtraces directories, with an overview PDF.
- OpenAI says it expanded to open research problems after existing math evals saturated; some outputs build on earlier model results.
- The release was shaped by advice from the independent Advisory Group on Mathematics and AI at the Institute for Advanced Study.
- Results are at varying verification stages — not all have Lean formalizations, and OpenAI acknowledges unformalized results could have issues; it will keep updating and explore community-hosted repos.
Greg Brockman shared the release as a step toward "acceleration of scientific discovery."
Related event: OpenAI Open-Sources 722 AI-Generated Mathematical Results(64 posts)→
More from Models
- Claude Opus 5.5 Rebuilds a 2-Year-Old Tool Into a Polished Industrial Monitoring Panel in Minutes — karminski3 · 2026-10-07
- Each result took just 3 hours of ChatGPT Pro thinking compute, researcher says — Dr_Atoosa · 2026-10-07
- Elliot Glazer: OpenAI drop lived up to hype, but almost all month-long rumors turned out false — ctjlewis · 2026-10-07
- Self-taught physics learner finds local Qwen and Ministral too weak, asks for alternatives — Available_Pressure47 · 2026-10-07
- OpenAI reasoning models went from basic arithmetic to decades-old math breakthroughs in two years — daniel_mac8 · 2026-10-07
- Gary Marcus: OpenAI's Math Proofs Rely on Symbolic AI, Vindicating His Stance but Not AGI — GaryMarcus · 2026-10-07