OpenAI quietly publishes Lean proof repos, seen as warm-up for Astra release
NoFaithlessness951 · reddit · 2026-09-04
A Reddit user spotted multiple fresh Lean formal-proof repositories on OpenAI's GitHub: openai/PrimeGaps186, openai/LongGapsBetweenPrimes, and openai/ten-proofs. PrimeGaps186 corresponds to the latest record prime gap of 186, and the repos are widely read as public traces of GPT-model (Astra) participation in frontier mathematics — and as a warm-up ahead of Astra's release.
Related event: OpenAI Repos Show GPT-6-Astra Proving Prime Gaps ≤186 in Lean(9 posts)→
More from Models
- OpenAI launches GPT-6 Astra, Brockman declares the AGI era has arrived — kimmonismus · 2026-09-04
- Unconfirmed GPT-6 Astra benchmark screenshots circulate online — haider1 · 2026-09-04
- GPT-6 Astra goes Daybreak-first, public release coming within days — koltregaskes · 2026-09-04
- Leaked GPT-6-Astra benchmarks claim 98.6% on ARC-AGI-3, unverified — scaling01 · 2026-09-04
- GPT-6 Astra scores 97.6% on FrontierMath but stays gated from regular users for days — burny_tech · 2026-09-04
- GPT-6 Astra rolls out to limited organizations first, wider access in days — Angaisb_ · 2026-09-04