Prime gap record falls to 186 as GPT 6 Astra 'speedruns' mathematics
teortaxesTex · x · 2026-09-04
The bound on infinitely-occurring prime gaps is being 'speedrun': Polymath reached 246 in 2014, Julia Stadlmann proved 240 two days ago, AxiomMath posted 212 hours earlier, and now GPT 6 'Astra' has pushed the record to 186. The original post calls it 'speedrunning mathematics'; the reposter finds it eerie. Combined with OpenAI's freshly published Lean proof repos like PrimeGaps186, this is public confirmation of Astra working on frontier math.
Related event: GPT-6-Astra Proves Prime Gaps ≤186 in Lean as Records Fall in Days(22 posts)→
More from Fun
- You can now skin Spotify with classic Winamp themes and it is glorious — billyjhowell · 2026-10-21
- terrio author hits back at claims his pure-Rust GDAL alternative is slower — giswqs · 2026-10-21
- Trying to burn all my tokens before the weekly reset: subscription quota anxiety — NathanSRobinson · 2026-10-21
- 'They quantized me down to Q4_K_M at work today' — the perfect layoff meme — reach_vb · 2026-10-21
- Meme: Anubis weighing the heart against a feather — with the OpenAI logo on the scale — DionysianAgent · 2026-10-21
- Railway pauses all new builds amid major outage, users ask if vibe coding is to blame — AaronBergman18 · 2026-10-21