Research
Axiom says AI agent swarms formalized the finite simple group classification in Lean within 24 days
Axiom Math has released what it calls the first fully machine-verified version of the finite simple group classification, about 43.1 million lines of Lean produced in 24 days by teams of AI agents under human direction, …