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.
Related event: Claude 'Solving' Math Conjecture Sparks AI Community Memes(73 posts)→
More from AGI Musings
- Better AI math could save researchers time by killing false conjectures earlier — prateekj · 2026-07-22
- A Bittensor holder says AI could add or erase nearly $1 quadrillion of output by 2035 — bittingthembits · 2026-07-22
- AI’s economic forecasts are split by nearly a quadrillion dollars by 2035 — bittingthembits · 2026-07-22
- Open source is becoming tech’s soft power, says Kevin Xu — kevinsxu · 2026-07-22
- OpenAI should keep giving more people access to more powerful AI — jxnlco · 2026-07-22
- Teen boys are forming AI girlfriend relationships, and critics fear real-world effects — KeanuRave100 · 2026-07-22