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

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