Lance Fortnow 重讲《计算理论导论》：AI 改写 NP 完全的意义

伊利诺伊理工学院教授 Lance Fortnow 时隔多年重讲《计算理论导论》，指出 AI 已改变这门课教授 NP 完全性的方式。SAT、混合整数规划和 TSP 等问题如今可借强工具求解或近似大量实际实例，NP 完全性由放弃的终点变成尝试其他方法的起点；神经网络只能通过输入输出行为理解，也让计算比过去更难解释。