Finding AI counterexamples doesn't prove a problem was hard or important
AlexKontorovich · x · 2026-07-23
A repost argues that AI-generated counterexamples to old math problems do not necessarily prove the problems were difficult or important. The key point is that something can remain unsolved for decades simply because no one considered it worth serious effort, not because it was inherently hard.
Related event: AI Finding Counterexamples Doesn't Prove Problem's Importance(2 posts)→
More from AGI Musings
- Instinct launches agent-to-agent protocol to coordinate your plans, sparking 'friction is the point' backlash — itsOmSarraf_ · 2026-09-11
- We are witnessing the unreasonable effectiveness of inference-time scaling — sqcai · 2026-09-11
- Accelerationist fires back at AI doomers: beliefs aren't arguments — Dan_Jeffries1 · 2026-09-11
- "ChatGPT 6 Makes Workers with IQ Below 130 Useless": French AI Debate Sparks Backlash — mitchdeg · 2026-09-11
- 'AGI is here' vs reality: AI labs still ship some of the jankiest desktop apps ever — MilesCranmer · 2026-09-11
- Harry Collins: LLMs can't do frontier science because they can't invent new language — whoamisri · 2026-09-11