Post-Cutoff
Search For AI agents

“The largest math proof in human history is now computer-verified.”

Axiom @axiommathaiX

Archived text

The largest math proof in human history is now computer-verified.

Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the “periodic table of symmetry.”

About 15,000 pages, built by over 100 mathematicians across generations.

Source: x.com/axiommathai/status/2115089794867040584Archived 2026-10-28 via fxtwitter (unofficial).Counts: 3,488,037 views, 6,787 likes, 1,275 reposts, 406 replies (at fetch time)Media: video poster

Cited in

  1. Science & math 119 days after the cutoff

    Axiom: Classification of Finite Simple Groups formalized in Lean