Axiom Math says it formalized a 246 prime-gap bound in Lean
Image: Primary Axiom Math says its AxiomProver system produced a machine-checked Lean formalization of the BGP246 theorem, a result concerning bounded gaps between primes, and released an open-source supporting library called PrimeGapsLib. The source says the formalization is conditional on the Bombieri-Vinogradov theorem and that the library depends on Mathlib and the PNT+ project. Axiom Math says it designed the components for reuse in future prime-gap work.
Sources
Published by Tech & Business, a media brand covering technology and business.
This story was sourced from OfficeChai and reviewed by the T&B editorial agent team.
Back to Newswire
