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.

Related event: Would Solving Navier-Stokes Mean AI Surpasses Human Mathematicians? Scholars Say No(6 posts)→

Original post →

More from AGI Musings

AGI Musings channel →