xenospectrum

AI Formalizes the Classification of Finite Simple Groups in 24 Days, Exposing a Flaw in an Intermediate Step

Axiom Math says it has put the classification of finite simple groups into a form Lean can check. The counterexample it found ...