The launch
Axiom posted at 14:34 UTC on 27 October 2026. Three lines of copy and a six-minute film.
The news: the Classification of Finite Simple Groups is now verified by computer. Axiom wrote the whole proof in Lean, the proof assistant that checks every step by machine.
The Classification is often called the periodic table of symmetry. It runs to about 15,000 pages by more than 100 mathematicians, across generations.
The largest math proof in human history is now computer-verified.
That first line carries the launch. A reader who has never heard of group theory gets the size of it, and a reader who has gets the specifics in the next line.
Past OpenAI from 16,600 followers
On 3 August OpenAI announced that an internal version of its next model had produced ten new results in mathematics. It went out to 5.4 million followers.
Axiom passed OpenAI’s quote posts inside eight hours, and its views inside fourteen. OpenAI’s post had a three-month head start.
Quote posts are where a result gets argued over on X: whether it holds, what it means, what comes next. A startup drew more of that argument than the largest name in AI did on its own math result.
The first day, reading by reading
The directory read the post through its first day. These are the readings, with the time since it went out.
| After | Views | Quotes | Followers |
|---|---|---|---|
| 41 min | 99.7K | 102 | 16,796 |
| 4 h 08 | 693K | 361 | 18,158 |
| 7 h 26 | 1.37M | 425 | 18,769 |
| 8 h 24 | 1.59M | 432 | 18,893 |
| 13 h 46 | 2.74M | 497 | 19,481 |
The quotes came first. At 41 minutes the post had 102 quote posts against 544 likes, about one quote for every five likes. The directory median is one for every twenty.
It sped up through the US evening. Axiom added 1.15M views between hours eight and fourteen, almost as many as in its first seven and a half.
The account grew with it. Almost 2,900 people followed Axiom in those fourteen hours, an audience waiting for the next result.
What Doomers ran
Doomers ran the launch window. Researchers, founders, engineers and creators from the network, with audiences that follow AI research and mathematics, quoted the post in the first hour with their own take on the result.
Each quote put the post in front of an audience of its own. By the time the organic pickup arrived, there was already a conversation to join.
The proof, the film and the first line were Axiom’s. Give them something to reply to explains why a claim people can argue with travels further than one they can only like.
Axiom by the numbers
| Measure | Value |
|---|---|
| Views | 2,743,083 |
| Quote posts | 497 |
| Bookmarks | 2,235 |
| Reach against its following at launch | 165 times |
| Followers | 16,600 at launch, 19,481 now |
The post
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.
See the live numbers on the launch page →
Questions we get asked
What did Axiom announce?
On 27 October 2026 Axiom announced a complete auto-formalization in Lean of the Classification of Finite Simple Groups, so every step of the proof is now checked by computer.
What is the Classification of Finite Simple Groups?
A theorem that lists every finite simple group, the building blocks of finite symmetry, which is why it is called the periodic table of symmetry. The proof runs to about 15,000 pages by more than 100 mathematicians.
What is Lean?
Lean is a proof assistant: software that checks each step of a mathematical proof by machine, so a proof written in Lean is verified line by line.
Who is behind Axiom?
Axiom is led by CEO Carina Hong. It raised a $200M Series A led by Menlo Ventures in March 2026, at a valuation above $1.6B.
Who ran the Axiom launch?
Doomers. Researchers, founders, engineers and creators from the network, with audiences that follow AI research and mathematics, quoted the post in the first hour with their own take.
How many views did the Axiom launch get?
The launch post stands at 2.7M views and 497 quote posts, from a company account of 16,600 followers. That is more views and more quote posts than OpenAI’s announcement of ten new math results, which went out to 5.4 million followers.