Axiom(@axiommathai):The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.

Axiom

@axiommathai

The Starting Point for Reasoning

가입 September 2025

73 팔로잉 중 24.3K 팬

Axiom@axiommathai

2026.10.27 14:34

The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.