Axiom ✓

@axiommathai · joined 30 Sep 2025

The Starting Point for Reasoning

16 073Followers

44Following

534Posts total

292.9KViews on collected posts

Against accounts of the same size

13 posts from the last 90 days, next to the 10K–100K follower range. shown widely, but few of those viewers react.

Median views8 669this account2 392median for 10K–100K

Reach, %53.94%this account7.18%median for 10K–100K

Engagement, %0.89%this account1.50%median for 10K–100K

Metric	This account	Median for 10K–100K	Ratio
Median views per post	8 669	2 392	3.62×
Reach (views ÷ followers)	53.94%	7.18%	7.51×
Engagement rate	0.89%	1.50%	0.59×

Others in this range → Compare with another account → How these benchmarks are built →

Growth & engagement

How the posts we collected actually performed: views and reaction rate post by post, what the audience did with them, and where the follower count goes.

Views per post

12.8K3 Sep

5K

188.7K

12.6K

9.7K

8.7K

3.2K

24.4K

14.3K

8.4K

3.1K

1.4K

5664 Sep

Last 13 collected posts, oldest on the left. The scale is logarithmic: one post can outrun the rest a hundred times over.

Engagement rate per post

0.42%3 Sep

1.11%

0.61%

1.50%

1.01%

0.95%

0.77%

0.34%

0.59%

0.89%

1.62%

1.20%

0.88%4 Sep

Reactions — likes, reposts, replies and quotes — divided by views. Median for 10K–100K accounts is 1.50%.

What the audience does

Likes68.1%1 694 in total

Reposts7.0%175 in total

Replies2.3%58 in total

Quotes1.3%33 in total

Bookmarks21.2%528 in total

Share of every reaction we collected for this account. Replies mean argument, reposts mean endorsement, bookmarks mean the post was worth keeping.

The follower curve appears once this account has two daily snapshots — we take one a day, and this one is on its first.

Latest posts

Tomorrow @CarinaLHong and @KenOno691 will be on @tbpn to talk about the flurry of progress on prime gaps. Should be an incredibly exciting show. Remember to tune in! 566 views · 4 likes · 1 reposts · 0 replies 04 Sep 2026 What are your dream problems for AxiomProver? 1.4K views · 12 likes · 2 reposts · 3 replies 03 Sep 2026 @axiommathai 186 by openAI! https://t.co/GqWrLx00F7 3.1K views · 47 likes · 2 reposts · 1 replies 03 Sep 2026 4/ Axiom Math’s mission is mathematical discoveries. The distance between humanity’s dreams and proofs can be hours instead of lifetimes. Here is a draft of our paper. A final version will be pushed on arXiv together with the Lean formalization. Enjoy! https://t.co/ZaBUPfUkW8 8.4K views · 67 likes · 4 reposts · 3 replies 03 Sep 2026 3/ Our number theorists, applied mathematicians, and engineers, as well as AxiomProver, wrestled with this long-standing problem. Earlier today, we got 212, building on Julia’s Stadlmann’s work and extensive experiments on a massive distributed cluster. We remain in pursuit! 14.3K views · 79 likes · 2 reposts · 1 replies 03 Sep 2026 2/ Twin Prime Conjecture says that infinitely many pairs of primes are 2 apart. For centuries, the world didn't know if infinitely many pairs differ by a finite value. In 2014, Yitang Zhang, James Maynard, Terry Tao, Polymath made history by getting 246, and got a Fields Medal. 24.4K views · 77 likes · 2 reposts · 2 replies 03 Sep 2026 @axiommathai If the full Riemann Hypothesis is eventually proven, it will not come from analyzing zeros one by one. It will come from discovering the global operator that generates them all the Hamiltonian RON. Symmetry will force all zeros onto the critical line structurally, no 3.2K views · 18 likes · 5 reposts · 2 replies 03 Sep 2026 4/ Here’s the link to the arXiv paper that just came out today: https://t.co/CrV0mxaadu Check out the Lean certificate in this GitHub repository: https://t.co/YaqJz9jp8r 8.7K views · 70 likes · 6 reposts · 5 replies 03 Sep 2026 3/ Youness gave us a sneak peek at his preprint. In hours, AxiomProver autoformalized it in Lean, providing machine-checked verification along the paper from day one. We believe formal verification accompanying new, frontier mathematical breakthroughs is the inevitable future. 9.7K views · 92 likes · 4 reposts · 2 replies 03 Sep 2026 2/ The AI proof was opaque and hard to appreciate. The kind of proofs that need “digestion” as Terence Tao once said. Lamzouri reproved the same result while replacing substantial machinery with an elegant Hilbert space inequality. A crisp proof with taste and human ingenuity. 12.6K views · 172 likes · 13 reposts · 3 replies 03 Sep 2026 1/ A major breakthrough on the Riemann Hypothesis recently shocked the world: >67% of zeta zeros lie on the critical line and are simple. Now Youness Lamzouri has found a strikingly elegant new proof. And AxiomProver has already formally verified it, in his paper’s appendix. 188.7K views · 956 likes · 130 reposts · 32 replies 03 Sep 2026 We are excited to supply AxiomProver’s autoformalization technology for mathematicians working on pushing the frontier. 5K views · 51 likes · 3 reposts · 2 replies 03 Sep 2026 The key idea is to construct nested Hilbert spaces with a carefully chosen basis, and then apply Bessel’s inequality. Then the proof can proceed more directly: https://t.co/oYUFGULH4n The new proof has also been formalized in Lean: https://t.co/HPSOpxn1Oe 12.8K views · 49 likes · 1 reposts · 2 replies 03 Sep 2026

Similar accounts