The real AI battlefield is TCS, not Navier-Stokes: complexity classes and new algorithms
IgorCarron · x · 2026-09-17
Responding to Fields medalists' skepticism about AI in math, the author argues Navier-Stokes is the wrong battlefield for engineers: the real one is theoretical computer science, which he claims is about to 'fall' — complexity class separations may be clarified, and AI may surface algorithms humans never found. Citing DFA's unexplained effectiveness, he notes most algorithms rest on 70+ year-old ideas while decades of work only optimized implementations, so the next engineering discontinuity may come from AI-rediscovered algorithms.
More from AGI Musings
- Long-read: AI's real value comes after the efficiency era—infra glut, agent tooling boom — yangyi · 2026-11-02
- Security's attack-defense automation gap mirrors math: proofs are easy, conjectures are hard — mboehme_ · 2026-11-02
- vikhyat predicts alternating compute oversupply and undersupply on the road to AGI — TheZachMueller · 2026-11-02
- Sam Altman: AI has surpassed top scientists, and 2026 will be a turning point year — kimmonismus · 2026-11-02
- DeepSeek design doc: a person can only follow 3-5 agent sessions at once, attention is the real bottleneck — heyshrutimishra · 2026-11-02
- AI researcher: we have no reliable way to tell whether an AI system is conscious — dioscuri · 2026-11-02