Axiom Math Releases 43.1M-Line Lean Proof of Group Classification

Axiom Math said on October 27, 2026 that it is releasing what it calls the first complete computer-checked proof of the Classification of Finite Simple Groups, produced over 24 days by engineers and mathematicians direc…