AI Startup Axiom Verifies 15,000-Page Enormous Theorem in Mathematics

27 Oct 2026, 10:46 pm · 3h ago · 1 min read · OfficeChai

San Francisco-based artificial intelligence startup Axiom has achieved a major milestone in computational mathematics by producing the first complete, computer-verified formal proof of the 15,000-page Enormous Theorem, also known as the Classification of Finite Simple Groups. The theorem represents one of the longest and most complex mathematical proofs in history, spanning thousands of journal pages written by hundreds of mathematicians over decades. Axiom's AI-assisted verification highlights the growing capability of frontier machine learning systems to tackle rigorous formal reasoning, automated theorem proving, and verify complex human mathematical discoveries at unprecedented scale and accuracy.