AI to Break a Thousand Math Conjectures? Predicting a Decade of Counterexamples
jasondeanlee · x · 2026-07-21
The recent AI-assisted discovery of a counterexample to the Jacobian conjecture has sparked industry interest in AI's potential in fundamental sciences.
Commentators predict that while monumental problems like the Riemann hypothesis or P vs NP will likely remain untouched, there are numerous smaller conjectures in mathematics. Historically, the limiting factor in disproving them hasn't been a lack of problem-solving ability, but rather researchers' over-investment in proving them right.
With AI's intervention, breaking down old assumptions will become a powerful way to open up new fields. Over the next decade, AI could uncover a thousand little broken conjectures, which could be a massive deal and reframe much of our current knowledge.
More from AGI Musings
- Claude Code skill uses 10 Markdown rules to make outputs ADHD-friendly — alex_verem · 2026-07-22
- AI Power Demand Exposes US Energy Gap, Urging Shift from Scarcity to Abundance — bradneuberg · 2026-07-22
- ControlAI CEO says an international ban on superintelligence is needed to avert extinction risk — zetalyrae · 2026-07-22
- Gary Marcus says LLMs still cannot really do math on their own — GaryMarcus · 2026-07-22
- Gary Marcus says LLM math skills are like knowing only a car’s engine size — GaryMarcus · 2026-07-22
- AI may make digital work infinitely leveraged while offline life gets more human — illscience · 2026-07-22