OpenAI opens repo of 722 math manuscripts and proof artifacts from internal model
RisingSayak · x · 2026-10-07
OpenAI published the math repo containing mathematical manuscripts and proof artifacts produced by an internal model (5.9k stars already).
- Includes lean, preprints, and reasoningtraces directories; catalogue holds 722 manuscripts
- Results come from expanded evaluations on open research problems after existing math benchmarks saturated
- Materials are at varying verification stages; some unformalized results may have issues, with Lean formalizations to be added over time
- OpenAI is exploring community-hosted repositories for these materials
Related event: OpenAI Open-Sources 722 Math Manuscripts from Frontier Model(120 posts)→
More from Models
- ChatGPT release notes briefly revealed audio uploads for paid users, then pulled — btibor91 · 2026-10-07
- X Premium now gets you Opus 5.5 via upgraded Grok Bot, quips user — ChrisGPT · 2026-10-07
- Mistral release days: user reports speed slowed again with TPS around 30 — bdsqlsz · 2026-10-07
- OpenAI's assistant can run a local server but blocks opening localhost in its own browser — No-Papaya-3352 · 2026-10-07
- OpenAI deprecates legacy user API keys, migration deadline Oct 22 — ThePeterMick · 2026-10-07
- User grants Grok agents full digital access, says it caught legal issues all other models missed — iruletheworldmo · 2026-10-07