Axiom Math's AI system AxiomProver automatically verified a landmark prime-number theorem known as the "246 theorem." The formalization marks a milestone in AI-assisted math, showing how autonomous agents can machine-check proofs at the edge of human knowledge. It also signals broader potential for verifying AI-generated code.
Opening Kapyn…