Axiom @axiommathai
1 of this account's posts made the board, 1 reached the top 3.
17.8K followersAI 1 Follow on X
Stories from this source
-
Axiom AI Formalizes Classification Theorem
Axiom announced a complete Lean auto-formalization of the Classification of Finite Simple Groups, about 15,000 pages.