AI system formally verifies major prime number theorem proof

Axiom Math's multi-agent AI system AxiomProver formally verified a machine-checkable proof of a number theory result known as the "246 theorem," which relates to prime numbers. Formal verification checks a proof line by line but isn't an absolute guarantee of correctness — a recent demonstration showed such methods can be tricked into accepting a flawed AI-generated proof. AxiomProver has previously helped crack several other unsolved math problems.

Why it matters: Automated formal verification is being positioned as a template for validating AI-generated code at scale, not just math proofs — a capability that matters as more software gets written by AI agents with less human review. It also highlights a live tension: verification tools are becoming central to trusting AI output right as researchers find ways to fool those same tools.