Other · Oct 6, 2026
719 manuscripts in 372 result families from an unreleased OpenAI model
GitHub: openai/math, the 722 manuscripts, Lean library and reasoning summaries
Contributors
Unnamed model · OpenAI
AI systems: Unnamed model
Sources
- GitHub: openai/math, the 722 manuscripts, Lean library and reasoning summaries ↗
- GitHub: openai/math formalization catalogue, review status unchecked ↗
- OpenAI: Sharing AI progress in mathematics ↗
- Advisory Group on Mathematics and AI: recommendations of 2026-09-29 ↗
- GitHub: openai/math history, three manuscripts withdrawn on 2026-10-07 ↗