GPT-6-Astra: infinitely pairs of consecutive primes with distance at… — Tech RSS — TG.ME

Tech RSS@techrss · 701 subscribers Open in TelegramOpen

GPT-6-Astra: infinitely pairs of consecutive primes with distance at most 186

https://github.com/openai/PrimeGaps186

GitHub - openai/PrimeGaps186: Conditional Lean formalization and numerical certificate for prime gaps at most 186.

Conditional Lean formalization and numerical certificate for prime gaps at most 186. - openai/PrimeGaps186

t.me/techrss/398860

September 3, 2026 22 1