Thurston's 1994 warning revived: theorem-credit culture may hurt math as AI automates proofs
alexbilz · x · 2026-11-02
Quoting William Thurston's 1994 paper On Proof and Progress in Mathematics, alexbilz highlights the claim that mathematics' strong communal emphasis on theorem-credits has a negative effect on mathematical progress. The retweeted comment extends the point with a wink: the answer is to simply prove all theorems — and automate the act of proving them — a nod to AI-driven theorem proving.
More from AGI Musings
- livgorton: mech interp is pre-paradigmatic; "stuck in old paradigm" is a dodge — livgorton · 2026-11-02
- When everyone shares the same AI writing buddy, whose idea is it anyway? — shakoistsLog · 2026-11-02
- The most AI-pilled people use AI for everything except writing — cnakazawa · 2026-11-02
- WorkOS engineer Zack Proser: I fear untold stories more than AI slop — AI Engineer · 2026-11-02
- "Federations of Meaning": AI collapses coordination costs and dissolves the org chart — sanjaykalra · 2026-11-02
- François Chollet: Evolution doesn't benchmaxx — it optimizes for generality and robustness — fchollet · 2026-11-02