Axiom Math's AI Formally Verifies a Landmark Prime-Number Proof

Axiom Math's AxiomProver became the first system to formally verify a novel proof of the '246 theorem' in prime-number theory.