Joel Grus Blames AI's Unanswered Proofs on 'Left as an Exercise for the Reader'
EddyVGG · x · 2026-10-09
Joel Grus jokes that maybe models can't produce certain proofs because textbook authors left them 'as an exercise for the reader' — a classic STEM gripe with a fresh AI-era twist, retweeted by tdhopper.
Related event: 'Left as an Exercise' Math Joke Revived in the AI Era(2 posts)→
More from Fun
- The tell for AI-generated slides: everything is super-aligned to the grid — VeryWellVersed · 2026-10-10
- Sentry CEO finds it weird signing in to Grok Bot via Cursor — zeeg · 2026-10-10
- From Bloomberg journalist to Anthropic cofounder: the Jack Clark career anecdote resurfaces — kevinakwok · 2026-10-10
- Coining terms for humans acting on behalf of AI: 'case' (knowing) and 'blanker' (unknowing) — gleech · 2026-10-10
- AI Twitter revives Searle's Chinese Room with a geography pun — _jongwook_kim · 2026-10-10
- AI slop floods Cornell's ornithology Instagram, real moderators caught in the crossfire — ctjlewis · 2026-10-10