AI Disproves Long-Standing Math Conjecture Using Surprisingly Simple Prompts
danshipper · x · 2026-07-23
Developer Matt Shumer noted that AI has successfully disproven another long-standing open mathematical conjecture. Surprisingly, the prompts driving this breakthrough were incredibly simple, such as “do a breakthrough,” “continue the search,” and “enough, do it.”
He believes this extremely low barrier to interaction means that soon, anyone will be able to achieve world-bending breakthroughs simply by pointing the model in the right direction.
Related event: AI Overturns Multiple Math Conjectures, Sparking Heated Debate(13 posts)→
More from AGI Musings
- Benjamin Todd: AI progress beat superforecasters over 18 months — ben_j_todd · 2026-10-26
- AI researchers guessed robots wouldn't outrun humans until 2034 — it already happened — ben_j_todd · 2026-10-26
- AI folks, stop saying "biology" when you mean drug development — KevinKaichuang · 2026-10-26
- ESR on the Bugpocalypse: locking down frontier models only hands the game to Chinese open weights — colinmcnamara · 2026-10-26
- Anthropic: junior tech hires fell from 27% to 9% as agent hours hit 6x employee hours — thione · 2026-10-26
- Anthropic's Jascha: you may have only 1–5 years of intellectual contribution before AGI — GabGarrett · 2026-10-26