Meme: Using ChatGPT to find counterexamples for open mathematical conjectures
charles_irl · x · 2026-07-23
AI researcher Ludwig Pettersson joked on Twitter that he was going to cancel date night with his wife to feed every open mathematical conjecture into ChatGPT to ask for counterexamples. Another user memed about this, joking that Erik will soon have plenty of free time for conjectures (implying AI will take over some research work).
More from Fun
- AI security is much broader than just exploits, vulnerabilities and sandbox escapes — joshua_saxe · 2026-07-27
- A Silicon-to-AGI joke riffs on Packy McCormick’s “hydrogen turns into people” line — beffjezos · 2026-07-27
- A Reddit user rebuilt OpenAI’s Codex Micro in the browser after regretting the purchase — G9X · 2026-07-27
- AI meme map reduces cybersecurity to exploits, sandbox escapes, and vulnerabilities — joshua_saxe · 2026-07-27
- A wiring accident becomes a joke about seeing the spark of AGI — Haoyu_Xiong_ · 2026-07-27
- A high-school genius meme ends with four people at Anthropic — hingeloss · 2026-07-27