AI System Verifies the 246 Theorem, a Milestone in Prime Number Research

Axiom Math's AxiomProver has machine-verified the 246 theorem on prime gaps, the toughest formalization yet — and a test bed for verifying AI-generated code.