Science and breakthroughs
Lean
Current state
The desk has not filed a dated note for this topic.
Axiom's AI agents formalize the classification of finite simple groups in Lean
Axiom said on 26 October 2026 its AI agents formalized the classification of finite simple groups in Lean, writing 43.1 million lines in 24 days.
A topic is a tag already on a story. It is listed here when at least two stories use it.
Questions
What is on this page?
This page lists 2 stories tagged lean.
What is the current state?
The desk has not filed a dated note for this topic.
Where are the sources?
Each story links the sources it used.