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
- Debating the '10% extinction chance' framing: attention now, credibility loss later — paulnovosad · 2026-09-11
- Someone trained a fly to label data, jokingly distilling it into an "r-1 model" — Al_Grigor · 2026-09-11
- Researcher quips: 'my research also has a 10% chance of destroying humanity' — paulnovosad · 2026-09-11
- Developer gives a fly access to his X account and it posts on its own — isnit0 · 2026-09-11
- Burning through two ChatGPT resets a day, user coins the "Huang-Altman Law" — yihui_indie · 2026-09-11
- mark_k: "Eject all doomers from the AI companies — they're destroying you from the inside" — mark_k · 2026-09-11