Sridhar Ramesh @RadishHarmers · 02 Sep 2026
In July, I asked a couple model theorist friends of mine what they considered the major open problems of logic. They both mentioned the stable forking conjecture. This has now been resolved using ChatGPT. https://t.co/ESmt68K6yB https://t.co/hjW1AumFic
69 860Views
785Likes
70Reposts
15Replies
6Quotes
230Bookmarks
Is that a lot?
8.11×vs this author's median8 617 views is typical
60Percentile for this authorof 5 recent posts
20.6×vs 10K–100K median3 383 views is typical
75.87%Reachviews ÷ followers
1.25%Engagement rateof viewers reacted