Axiom Math said on October 27, 2026 that it is releasing what it calls the first complete computer-checked proof of the Classification of Finite Simple Groups, produced over 24 days by engineers and mathematicians directing swarms of dozens of AI agents that wrote approximately 43.1 million lines of code in the Lean proof assistant. "Today, we are releasing the first complete computer-checked proof of the Classification of Finite Simple Groups (CFSG)," the company wrote in its announcement. The…
This article has been indexed from Unite.AI
Read the original article:
Axiom Math Releases 43.1M-Line Lean Proof of Group Classification