What parts of math will resist AI the longest?
MickeySteamboat · x · 2026-07-21
The author argues that the disproof of the Jacobian conjecture suggests a new way to think about which parts of mathematics are most resistant to AI.
Rather than treating it as a simple “AI can now do everything” signal, the post asks what kinds of math problems may remain hardest for agents, and why some areas might be more or less formalizable than others.
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