Axiom says AI agents formalized the largest mathematical proof in Lean
The company released a 43.1-million-line formalization of the Classification of Finite Simple Groups and asked mathematicians to verify it independently.
Tags
Live16 today
Tags
The company released a 43.1-million-line formalization of the Classification of Finite Simple Groups and asked mathematicians to verify it independently.