Theoretical computer scientists are losing their cool as theory is automated by AI first
docmilanfar · x · 2026-09-21
Shai Milanfar quips that theoretical computer scientists will increasingly lose their temper over AI: long self-regarded as the elite scientists among computer scientists, they're finding that theory is precisely the first area getting automated — a telling datapoint on which parts of CS AI hits first.
Related event: AI Automation Challenges Theory CS's Elite Status(2 posts)→
More from AGI Musings
- Ex-Copilot engineer: tools will change, but humans are wired to keep building — rakyll · 2026-09-21
- Ex-GitHub Copilot engineer: coding agents speed everything up, yet leave us more work than ever — rakyll · 2026-09-21
- X exec: seasoned software execs ill-suited for probabilistic AI products, young builders hold the edge — nikitabier · 2026-09-21
- Gwern's 2016 'Tool AIs Want to Be Agent AIs' thesis vindicated, says founder — tszzl · 2026-09-21
- An 8-minute argument that the process-of-life is morally primary over consciousness — danfaggella · 2026-09-21
- Investor Stewart Alsop: the real alignment problem is smart people's collective delusions — StewartalsopIII · 2026-09-21