教授激辩：AI为何先攻克数学而非软件工程开放题

DimitrisPapail · x · 2026-10-07

教授 Dimitris Papailiopoulos 提出一个观点：软件工程领域不像数学那样存在典型的「开放问题」。数学开放问题意味着所有人类脑力投入都不足以解决，而 AI 却能碾压式突破；他质疑 CS/SWE 中是否存在类似「众多聪明人长期尝试未果」的问题，以及是否根本不需要这种定义——因为当前一代模型已经能执行长期、复杂的研究任务。回复者举例称，见过模型对 MNIST 分类器压缩这类「被打磨到极致」的问题做自动化研究，仍能比现有 SOTA 好 2-3 倍，需要大量工具调用、环境迭代和数周级长上下文，超出任何人类专家能企及的程度。