GPT-6-Astra: infinitely pairs of consecutive primes with distance at most 186
Summary
The article describes a GitHub repository PrimeGaps186, offering a Lean 4 formalization of a prime-gap bound (≤186) and a Python numerical certificate, with inputs conditional on three axioms and detailed build/verification steps. It highlights the blend of formal proofs and numerical checks, including references to Deligne-type bounds and associated certificates.