OpenAI Open-Sources Repo of Model-Generated Math Results

OpenAI released an Apache-2.0 GitHub repo (openai/math, 13k stars) with internal models' math manuscripts, proof artifacts and reasoning traces. Researchers note math formulas are the most autoregressive, least noisy corpus for LLMs.

2026-10-10 ~ 2026-10-10 · 2 related posts

• OpenAI Open-Sources Internal Model's Math Results: Proofs, Lean Artifacts and Reasoning Traces — keunwoochoi · 2026-10-10
• Math Formulas Are the Most Autoregressive, Least Noisy Corpus Ever, Researcher Argues — keunwoochoi · 2026-10-10