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
Summary
Researchers have formalized a proof showing that there are infinitely many pairs of consecutive prime numbers with a gap of 186 or less. This work uses Lean, a proof assistant, to provide a rigorous foundation for this significant finding in number theory.
Comments (1 of ) ⌛