Axiom @axiommathai · 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 669Views
70Likes
6Reposts
5Replies
1Quotes
35Bookmarks
Is that a lot?
1.00×vs this author's median8 669 views is typical
46Percentile for this authorof 13 recent posts
3.62×vs 10K–100K median2 392 views is typical
53.94%Reachviews ÷ followers
0.95%Engagement rateof viewers reacted