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: GPT-6-Astra Proves Prime Gaps ≤186 in Lean as Records Fall in Days(22 posts)→
More from Models
- Mistral's Voxtral 3 speech models land #3 on STT leaderboard at $13/1M chars — ArtificialAnlys · 2026-10-21
- AI2's FairStress benchmark exposes hidden fairness asymmetries across 11 open-weight models — allen_ai · 2026-10-21
- Perplexity ships Decider V1.2, tops Vals AI's new ClaimBench decision-model benchmark — bo_wangbo · 2026-10-21
- Omnii-1 genome model debuts: first AI-designed phages ever given to a human patient — JosephJacks_ · 2026-10-21
- Nous Portal Pricing Revealed: Unused Credits Roll Over, Up to $100 Cap on $200 Tier — alexcovo_eth · 2026-10-21
- 1.3B open-source doc parser OXR tops three benchmarks, parsing 100 pages in 101 seconds — s_mohinii · 2026-10-21