openai/math
★ 17,344 stars
Lean
Covered in week 2026-W42 · the 2026-10 report
openai/math — 17,344 stars · Lean: what it does and why developers starred it, in a 30-second video review from 16 Oct 2026.
What math is
This repository contains mathematical manuscripts and supporting proof artifacts produced by an unnamed internal OpenAI model.
From the repository README · read it on GitHub →