Get Zlio on your home screen
One tap, full screen, like an app.
AI-generated formal proofs on a landmark theorem would mark a major step in AI for mathematics.
Axiom Math released what it calls the first complete computer-checked proof of the Classification of Finite Simple Groups, produced in 24 days by swarms of AI agents writing ~43.1M lines of proof.