Math models may have been enough to find Jacobian-style counterexamples all along
dyamins · x · 2026-07-21
The author asks whether it has long been obvious that math models can find the kind of counterexample behind the Jacobian conjecture result.
Their argument is that automated tools are naturally good at exhaustively checking simple conditions and pruning infinite search spaces with constraints, while humans often avoid this kind of tedious work. The real surprise, they suggest, is not that a model could help find a counterexample, but that people spent so much effort building theory while still trying to prove the conjecture without enough automated search.
Related event: AI Overturns Multiple Math Conjectures, Sparking Heated Debate(13 posts)→
More from AGI Musings
- Superintelligence will be maximum good, not stupid or evil, argues Patterson — davidpattersonx · 2026-09-11
- Mathematician Daniel Litt Launches Problem Repo to Track Human vs AI Progress: 15 Problems, 1 Solved — littmath · 2026-09-11
- Should AI models be taught morality? Breakout incidents expose missing ethical training — Pfungus_ · 2026-09-11
- SoftBank's Masayoshi Son predicts 100 trillion self-replicating AIs: "humans' era as top life form is ending" — Puzzleheaded-King584 · 2026-09-11
- We are witnessing the unreasonable effectiveness of inference-time scaling — sqcai · 2026-09-11
- The AlphaFold lesson: AI-solved math may mean fewer mathematicians needed — kiki-le-koala · 2026-09-11