Math-punk joke claims Codex helped disprove a graph conjecture with Lean
basedjensen · x · 2026-07-23
A math joke post claims a friend and Codex helped “disprove” a conjecture by manipulating a graph construction and checking it with Lean.
The punchline is the absurdly serious tone around a clearly tongue-in-cheek proof-style flex, which is part of the meme value.
More from Fun
- Clifford Pickover challenges AI to decipher a message he encoded in Norse runes — pickover · 2026-10-27
- AI Video Pits Brock Lesnar Against Duncan the Tall in a Toy Showdown — KloneStudios · 2026-10-27
- Grok bot meme: your AI agent takes the bullets while you sleep — XFreeze · 2026-10-27
- Helping an NPC who doesn't need it: the perfectly fine meme — Cloud_Reviews · 2026-10-27
- Viral post: we refine sand to 99.99999% purity to build the smartest thing ever — for email — CatAstro_Piyush · 2026-10-27
- $50, 2-hour Kurzgesagt-style AI video reignites debate over intent in AI creation — motionbynick · 2026-10-27