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: OpenAI Repos Show GPT-6-Astra Proving Prime Gaps ≤186 in Lean(9 posts)→
More from Fun
- '2027 is only 3 months away': the AI-timeline meme keeps aging weirdly — rudrank · 2026-09-04
- Berlin startup conference meme: American founder's 'idea to launch in a week' enrages German audience — SumitGup · 2026-09-04
- Farming is among the most advanced robotics: cows voluntarily line up for auto-milkers — yacineMTB · 2026-09-04
- Pangram CEO asks X users not to dogpile WaPo reporter over AI detection story — TuhinChakr · 2026-09-04
- Engineer one-shots soft valve designs with vibecad, saying 'you can just make things now' — IanPritchard · 2026-09-04
- Tech circles' distrust of journalists sparks debate — NathanpmYoung · 2026-09-04