CFSG
1 article tagged with CFSG
October 27, 2026
research
Axiom Math Releases 43.1M-Line Lean Proof of Finite Simple Group Classification
Axiom Math announced on October 27, 2026 that it is releasing what it calls the first complete computer-checked proof of the Classification of Finite Simple Groups (CFSG). According to the company, swarms of dozens of AI agents wrote approximately 43.1 million lines of Lean code over 24 days.