Science & SpaceAn AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result sitting at the very edge of what we know about primes. The real prize is what this means for the safety of AI-written code.