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
- A giant Death Star and a tiny robot deliver the bluntest AI meme — pbbakkum · 2026-07-23
- An AI team jokes that a month in Japan was spent prompting agents — henloitsjoyce · 2026-07-23
- A post brings back ELIZA, the original chatbot, as an AI-era joke — paul_cal · 2026-07-23
- Personal AI computer-control agent reaches 80–85% completion with 141 Python files — Vivid_Ad_5069 · 2026-07-23
- Terence Tao uses ChatGPT to study math while critics still call it useless — Dr_Singularity · 2026-07-23
- “We are getting the weights one way or another” becomes an AI Twitter meme — tekbog · 2026-07-23