Axiom’s AI agents formalize a 15,000-page math proof in 24 days

AI's rapid formalization of complex proofs could revolutionize mathematical verification, enhancing accuracy and accelerating discovery.