Why math calls it verifiable and everyone else calls it slop
RexDouglass · x · 2026-07-23
Rex Douglass jokes that mathematicians don’t call AI output “slop” because it is usually verifiable — counterexamples and proofs make bad output easier to detect.
His punchline is that everyone else calls their field’s AI output slop because:
- their own human output is also messy
- their evaluation criteria are messy too
Related event: Verification Cost Emerges as Core AI Challenge(4 posts)→
More from Fun
- Every Anthropic post scores 100% human on Pangram detector — alejandroll10 · 2026-10-27
- Prominent programmer asks: what am I supposed to do with all these Grok bots — lemire · 2026-10-27
- Joke: maybe call Anthropic the 'catastrophic risks to humankind' company — emax · 2026-10-27
- Slop Eisley: an AI-built open-world browser racing game set in Mos Eisley — jasonkneen · 2026-10-27
- 1 AI Doomer Debates 10 AI Supporters in Group Debate Show — romanyam · 2026-10-27
- Developer drops VS Code, Office and git client, now uses only Claude — One_Improvement_6470 · 2026-10-27