#software-verification

Axiom Math Completes Computer-Verified Proof of Enormous Theorem

Axiom Math’s multi-agent system has completed the first computer-verified formalization of a 15,000-page mathematical proof in 24 days.