How Axiom announced its Lean proof of the Classification of Finite Simple Groups on X
3.7M views, ranked 261 of the 2314 launches we track. Doomers ran the launch; it reached 221 times the account's following.
6:04
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.
In the Doomers Launch Index
A Launch Score of 74 for October 2026, ahead of 92% of that month’s launches past 100K views. See the October 2026 index and how the score works.
How it compares
A launch means nothing against no one. These are the launches it is actually comparable to, and where this one sits among them.
| Compared with | Launches | Median views | This one | Rank |
|---|---|---|---|---|
| Frontier labs launches from accounts 5K to 25K followers | 40 | 476K | 7.7x | 4 |
| Product news the same kind of announcement | 865 | 742K | 5.0x | 124 |
| 5K to 25K followers accounts of a similar size | 579 | 518K | 7.1x | 46 |
| Every launch all of them, for scale | 2314 | 603K | 6.1x | 261 |
The read
Axiom announced on 27 October 2026 that the Classification of Finite Simple Groups is now verified by computer. Axiom built a complete auto-formalization of the proof in Lean, the proof assistant that checks every step of a proof by machine.
The Classification, often called the periodic table of symmetry, runs to about 15,000 pages written by over 100 mathematicians across generations, and Axiom calls it the largest math proof in human history.
Doomers ran the launch. The post went out from Axiom's company account and opens on one line, "The largest math proof in human history is now computer-verified." It names the result in plain words in the next two lines and carries a six-minute film.
The post stands at 2.7M views and 2,235 bookmarks. Figures update with the directory.
Questions about this launch
When did Axiom launch?
Axiom posted the launch on X on 27 October 2026.
How many views did the Axiom launch post get?
3,676,753 views at the last read, ranked 261 of the 2314 AI launches Doomers tracks, 221 times the account's following.
Who posted the Axiom launch?
@axiommathai, which had 16,600 followers when it posted.
Planning something like this?
We run launches on X for AI companies, with creators who already hold the audience you want reaching.