BitTorrent's Bram Cohen to mathematicians: your turn to debug AI proofs
hargup13 · x · 2026-11-08
Bram Cohen, creator of BitTorrent, mocked mathematicians complaining that their job is now reduced to understanding proofs spat out by computers: "Suck it up. I spent the first half of my career debugging. Now it's your turn." The quip captures the ongoing debate over how AI-assisted proofs are shifting mathematicians' roles from constructing proofs to verifying and debugging them.
More from AGI Musings
- JEV Gets Its First Paper as Researchers Split on Research Merit vs Closed Business Model — teortaxesTex · 2026-11-08
- "Humans overfit to confirmation too" — a witty mode collapse analogy for AI slop debate — flowersslop · 2026-11-08
- bayeslord: Stop treating AI as a monolith — four distinct goals demand precise language — sebkrier · 2026-11-08
- AI doesn't change how unique your niche interests are, argues dev pixlpa — pixlpa · 2026-11-08
- Albert Gu: Bitter Lesson isn't 'just scale Transformers' — algorithmic innovation matters — sewon__min · 2026-11-08
- The 'evolutionary mismatch' chart explaining why humanity will ignore AI warnings — sebpaquet · 2026-11-08