Axiom Math releases a computer-checked proof of the classification of finite simple groups
AI agents wrote about 43.1 million lines of Lean in 24 days for the roughly 15,000-page proof, and found 34 noteworthy deviations from the published record.
Models & capabilities · Ideas & essays