Aleksa Gordić (水平问题) @gordic_aleksa · 30 Jul 2026
beautiful things are happening in mathematics, and i'm not even talking about the recent counterexample to Jacobian conjecture! i'm talking about LLM autoformalization efforts -> we're slowly building shared mathematical infra, formalizing the foundations; this will be useful https://t.co/TiiNXTMJBA
30 220Views
536Likes
77Reposts
15Replies
4Quotes
392Bookmarks
Is that a lot?
1.26×vs this author's median24 056 views is typical
50Percentile for this authorof 6 recent posts
8.29×vs 10K–100K median3 644 views is typical
96.48%Reachviews ÷ followers
2.09%Engagement rateof viewers reacted