Axiom verifies prime-gap math theorem using Lean proof assistant

Mathematical research platform Axiom successfully checked the BGP246 prime-gap theorem using the Lean 4 proof assistant. The achievement converts a major theoretical mathematics result into an automated, machine-verified proof.