AI is starting to resolve open math conjectures, and the field may be entering an AlphaGo-like shift
DimitrisPapail · x · 2026-07-23
The repost argues that AI is now resolving open problems and conjectures at a growing pace, with a roughly ten-year gap between where the field was and where it feels now.
The quoted article, The Future That Arrived Early, says recent work on the Jacobian Conjecture is one example of a broader shift: more open problems in mathematics are being solved with AI, and many more are expected in the coming months. The author compares the moment to Go after AlphaGo in 2016, suggesting mathematics may be entering a similar transition.
Related event: AI Tackles Open Math Problems, Signaling an AlphaGo Moment(3 posts)→
More from AGI Musings
- Paul Novosad says AI writing creates a trust-eroding lemons problem — paulnovosad · 2026-07-23
- Gary Marcus says LLMs still offer no enduring advantage, only a costly leapfrog race — GaryMarcus · 2026-07-23
- Gary Marcus bets $1M that AI in 2027 won’t beat Nobel-level scientists — GaryMarcus · 2026-07-23
- UC Berkeley releases David Chalmers’s lecture on philosophy and AI — round · 2026-07-23
- Compression is not information loss, but a test of prediction—and a path to AGI — yunta_tsai · 2026-07-23
- Why AI agents may optimize harder than humans, according to Paras Chopra — paraschopra · 2026-07-23