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
- LukeW: Technology Limits Are Temporary — and AI Skeptics Are Already Feeling It — LukeW · 2026-10-27
- GiveDirectly pilots an optional AI chatbot alongside cash aid in Rwanda — NathanpmYoung · 2026-10-27
- Ex-Anthropic employee essay: the org optimizes for power 'constrained by being seen as the good guys' — RichardMCNgo · 2026-10-27
- Investor: model version numbers are a mirage, only datacenter margins are real — StewartalsopIII · 2026-10-27
- WSJ Op-Ed: For Anthropic Share Offering Investors, a 10% Extinction Chance May Be a 90% Portfolio Win — davidmanheim · 2026-10-27
- WSJ: for Anthropic investors, a 10% extinction chance may still be a 90% portfolio win — peterwildeford · 2026-10-27