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
- Dev builds city-sized zombie apocalypse sim in 100 days, ships on Steam — gdechichi · 2026-10-26
- 'Lamp Swarm': a desk of lamp-shaped robots shows what physical AI work looks like — dee_hw · 2026-10-26
- Dev-community banter: recommending a resource to every newcomer — itsOmSarraf_ · 2026-10-26
- Elon Musk's reply to a kid asking what's on Mars: "You get to decide" — yunta_tsai · 2026-10-26
- Prompt fills an empty room with everything your AI knows about you — jindong_wang92 · 2026-10-26
- The "claude is a lesbian" T-shirt is real and out in the wild — JasonBotterill · 2026-10-26