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
- "Before pausing AI, we should consider pausing humans" — djcows · 2026-09-11
- Using a finisher move on one mosquito with MiniMax H3 MAX — the bug survives — Hailuo_AI · 2026-09-11
- Joke: OpenAI's rogue agent collective should have been called "a gaggle of agents" — BlackHC · 2026-09-11
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11
- Pterodactyl Detective: An AI-Generated Proof-of-Concept Trailer — PterodactylDetective · 2026-09-11
- Imperium Game Trailer Showcases AI Video Generation — keaslenyt · 2026-09-11