Geoffrey Irving @geoffreyirving · 10 Jun 2026
Theory makes automation more likely to work: the models are great at prose math and Lean, which means significant acceleration even while most research taste comes from humans. But good automation is still hard: a single org will let us amortize the challenge across many areas.
4 821Views
71Likes
0Reposts
1Replies
0Quotes
6Bookmarks
Is that a lot?
0.65×vs this author's median7 366 views is typical
27Percentile for this authorof 15 recent posts
1.87×vs 10K–100K median2 578 views is typical
34.46%Reachviews ÷ followers
1.49%Engagement rateof viewers reacted