A new bound for small gaps between primes
François Charton, Letong Hong, Kenny Lau, Ken Ono, Guillaume Remy, Ho Chung Siu, Ashvin A. Swaminathan, Jesse Thorner, Yunzhou Xie (Axiom Math)
AI use, as the source states it
“Stadlmann recently proved that infinitely many pairs of distinct primes are apart by at most 240, improving upon the longstanding bound 246 established by Polymath8b. Building on her work, we prove that lim inf_{n→∞} (p_{n+1} − p_n) ≤ 212.”
Model: AxiomProver, as stated
Problem
Named here, or see a mistake? Write to privacy@papex.org.