从 Navier-Stokes 到复杂度类:AI 真正的战场是理论计算机科学

IgorCarron · x · 2026-09-17

作者转发并回应 Fields 奖得主对 AI 数学能力的质疑,认为「AI 能否证明 Navier-Stokes」只是数学界的事,对工程师而言真正的战场是理论计算机科学(TCS)。他判断 TCS 「即将崩塌」,复杂度类之间的分离或不分离可能最终被厘清,更大的后果是 AI 可能给出人类从未发现、甚至不敢相信的算法。作者以 DFA 为例反问「为什么它就这么有效」,指出许多算法仍建立在 70 多年前的想法之上,几十年的工程优化只改实现不改算法本体,下一波工程不连续性或将来自 AI 重新发现算法。