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.