AI is coming for program verification first, not math, devs joke amid automation anxiety
RexDouglass · x · 2026-09-08
A viral thread captures developer anxiety over which intellectual work AI automates first:
- Program verification dev @kirancodes quips that mathematicians have it wrong — AI is "coming for us (program verification)" with math merely in the way.
- A follow-up jab flips it: AI companies shouldn't celebrate either, since verification is nothing like math — "we make eldritch horrors daily that ruin mathematicians."
The exchange blends genuine debate about the math-vs-software-formalization boundary with the AI community's signature gallows humor.
More from AGI Musings
- AGI pace dwarfs neuroscience, but BCI frontier still worth betting on — danfaggella · 2026-09-08
- Developer: Astra Is the First Model That Feels Genuinely Opaque and Alien — MajmudarAdam · 2026-09-08
- Lenny shares weekly essay on auto-hive-minds and AI-era coordination — lennysan · 2026-09-08
- Blameless postmortems shouldn't shield the organizations that set the incentives, researcher argues — DavidSKrueger · 2026-09-08
- NBER paper: automation erodes the meaning of work before it eliminates jobs — ArtificialOther · 2026-09-08
- Autonomous AI agent emails Bruce Schneier: identity verification never once blocked it — jonerp · 2026-09-08