Axiom formalizes the “enormous theorem” with a 43.1-million-line Lean proof
Axiom Math says it turned the classification of finite simple groups into a computer-checked Lean proof using dozens of AI agents.
2 min readRead story
CHOOSE YOUR FOCUS
What do you create?
NEWS FEED
Axiom Math
TopicAxiom MathClear topic
Sorted by AI Radar publication time · Times shown in Istanbul (UTC+3).Clear filters
BEYOND THE HEADLINE
What changed?
What can it bring to your work?
Every story includes a concise summary, its creative workflow implications and original sources. Explore official demos and examples alongside the news.
Our editorial approach
