OpenAI's openai/math repo: 722 model-generated math manuscripts, some unformalized
aran_nayebi · x · 2026-10-07
OpenAI released the openai/math repository containing 722 mathematical manuscripts and supporting proof artifacts produced by an internal model, organized into problem families with Lean formalizations, preprints, and reasoning traces.
Per the README, OpenAI expanded evaluations on open research problems after existing math benchmarks saturated; some unformalized results "could have issues," and the repo will be updated as verifications proceed.
More from Models
- Is Bel's math edge scale or synthetic data? TeortaxesTex bets on data — teortaxesTex · 2026-10-07
- Fable claims its new release equals roughly five OpenAI Navier-Stokes-level results — willdepue · 2026-10-07
- Reddit user ships 'surgical abliterated' 27B red-team model with zero refusals — Least_Dog_8556 · 2026-10-07
- OpenAI Researcher Surprised AI Lab Math Results So Far All Hold Up — willdepue · 2026-10-07
- OpenAI dots losing to Meta's Muse surprises AI community — BLUECOW009 · 2026-10-07
- Inception launches Mercury Decide on OpenRouter: free structured-decision model doing 14 decisions/sec — StefanoErmon · 2026-10-07