OpenAI's math repo lands on GitHub with 722 model-generated manuscripts
felpix_ · x · 2026-10-07
OpenAI published its math repository (Apache-2.0, 441 stars) containing mathematical manuscripts and proof artifacts produced by an internal frontier model.
The catalogue holds 722 manuscripts across lean, preprints, and reasoningtraces folders. OpenAI says evaluations on open research problems were expanded after existing math benchmarks saturated; not all results have Lean formalizations yet, some unformalized results may contain issues, and formalizations plus community-hosted mirrors are planned.
More from Research
- OpenAI proves matrix multiplication solvable in O(n^2.25) operations — but no algorithm yet — Pascallisch · 2026-10-07
- Melanie Mitchell fires back: cites recent LLM research, two NeurIPS papers — MelMitchell1 · 2026-10-07
- Integer multiplication faster than N log N? Algorithm fans call it "cursed" — QuintinPope5 · 2026-10-07
- OpenAI Researcher Surprised AI Lab Math Results So Far All Hold Up — willdepue · 2026-10-07
- Frontier LLMs as simulators of human biologists will land faster than 'virtual cells' — CatAstro_Piyush · 2026-10-07
- AI claims progress on 90 of 500 major open math problems, including partial Riemann Hypothesis results — DavidSKrueger · 2026-10-07