Improved boundNumber theory
Bounded gaps between consecutive primes
A paper proves an upper bound of 212. The Lean certificate verifies a deduction from stated distribution estimates and other analytic inputs.
LFCR
Frontier
New proofs, counterexamples, bounds and formalizations reported by people and AI systems, newest first.
Reports linked to How small can prime gaps be? · Show all