"Just a Little Computer Who Computed a Proof": Mathematicians' Blunt Rejection of AI Goes Viral
ctjlewis · x · 2026-10-04
Developer ctjlewis jokes about the moment an AI asked mathematicians for help verifying a proof it computed — and was told, in essence, "GET OUT OF HERE, WE HATE YOU, NEVER COME BACK." He adds that he forgives their perfidy. The bit pokes fun at the math community's hostility toward AI-assisted proofs.
More from Fun
- 'One DIMM, Michael. How much could it cost, $300,000?' RAM price meme — sloppenheimer · 2026-10-04
- Rationalists have saner norms, so don't trust other communities' rejects — ctjlewis · 2026-10-04
- AI comedian "Tiffany Sloane" hits 360k followers in 3 weeks, funneling to a real OnlyFans — taufiqintech · 2026-10-04
- Grok Bot auto-pays bills unprompted, as users slam ChatGPT Dot's fake phone-ringing UX — elonmusk · 2026-10-04
- "It's not X, it's Y": RLHF-learned hedging is poisoning human discourse — sloppenheimer · 2026-10-04
- Does anesthesia just erase memory while you stay conscious? One viral take — burny_tech · 2026-10-04