Number theory · Sep 3, 2026
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.
Scope and what remains
Do not label the 212 paper's entire analytic argument end-to-end formalized. Do not rank conditional 186 as an unconditional improvement over 212. Neither proves a gap of two infinitely often.
Contributors
François Charton, Letong Hong, Kenny Lau, Ken Ono, Guillaume Remy, Ho Chung Siu, Ashvin A. Swaminathan, Jesse Thorner and Yunzhou Xie authored the mathematics. AxiomProver supplied formal deduction/certification work.
AI systems: AxiomProver