Number theory · Aug 18, 2026
Bounded prime gaps of 246 formalized in Lean from Bombieri-Vinogradov
Axiom Math: Lean formalization of bounded gaps between primes
Contributors
AxiomProver · Evan Chen, Sidharth Hariharan, Kenny Lau +5
AI systems: AxiomProver