Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps between prime numbers: the theorem that infinitely many pairs of primes differ by no more than 246. The company published the result on August 17, 2026 as an interactive formalization blueprint credited to 41 named mathematical, engineering, and principal-investigator contributors, with IEEE Spectrum first reporting the milestone. The 246 bound is the current edge of human…