Terence Tao: AI solving key open problems could stunt a math field's growth
tak3sh8 · x · 2026-09-08
Terence Tao offers a concrete example of how AI progress on key open problems could inhibit a mathematical field's future development: the global regularity problem for the incompressible Navier-Stokes equations (and its Euler counterpart). The worry is that AI skipping past the intermediate theory would leave the field without foundations to grow on.
More from AGI Musings
- "My AGI bar was an AI-assisted millennium prize proof — why am I still unsatisfied?" — gpt2chatbot · 2026-09-08
- tszzl: OpenAI and Anthropic grappling with humanity's fate is like EVA pilots in high school — tszzl · 2026-09-08
- Singleton or stagnation: would labs ever release models that make novel discoveries? — abhiadesai · 2026-09-08
- Elon Predicted GPT-5/6 Would Match Smartest Humans 27 Months Before ChatGPT — aakashgupta · 2026-09-08
- Software Jobs Show What Most Jobs Will Become: Managing Robots — StrategicHarmony · 2026-09-08
- banteg: dismissing AI decompilation to keep humans grinding is 'performative, wasteful and cruel' — banteg · 2026-09-08