Axiom @axiommathai · 03 Sep 2026
We are excited to supply AxiomProver’s autoformalization technology for mathematicians working on pushing the frontier.
5 042Views
51Likes
3Reposts
2Replies
0Quotes
16Bookmarks
Is that a lot?
0.58×vs this author's median8 669 views is typical
31Percentile for this authorof 13 recent posts
2.11×vs 10K–100K median2 392 views is typical
31.37%Reachviews ÷ followers
1.11%Engagement rateof viewers reacted