A joke predicts the inevitable “AI is destroying math” backlash
RexDouglass · x · 2026-07-28
A reply jokes that someone will inevitably find an error and accuse AI of “destroying math,” poking fun at the usual skepticism that follows AI-assisted proof claims.
The joke lands because the original thread is about GPT-5.6 helping solve a well-known probability conjecture that was then formalized in Lean.
More from Fun
- Database optimization drops CPU from 35% to 5% and p95 latency from 365 ms to 3 ms — DanielLockyer · 2026-07-28
- A viral poster calls LLMs perpetual intellectual-theft machines — AlexTensor · 2026-07-28
- A repost turns a gender gripe into a 19-year Halo punchline — ATTlKA · 2026-07-28
- A 1976 Apple check signed by Steve Jobs resurfaces in a Holmes reply — Kuprel · 2026-07-28
- Claude screenshot spirals into a self-correcting AI hallucination meme — repligate · 2026-07-28
- Notch says “Reject AI,” then immediately starts imagining vibe-coding use cases — Outside-Iron-8242 · 2026-07-28