Axiom @axiommathai · 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. https://t.co/Xl2a4nrpIv
9 744Views
92Likes
4Reposts
2Replies
0Quotes
3Bookmarks
Is that a lot?
1.12×vs this author's median8 669 views is typical
54Percentile for this authorof 13 recent posts
4.07×vs 10K–100K median2 392 views is typical
60.62%Reachviews ÷ followers
1.01%Engagement rateof viewers reacted