哥德尔不完备性定理告诉我们：任何足够复杂的形式系统都存在既不能证明也不能证伪的真命题。这对AI意味着什么？

当前的大模型本质上是在形式系统中运算——能发现模式、生成证明步骤，但永远无法从系统内部"跳出"来判定所有数学真理。图灵停机问题给出了更直观的类比：不存在通用算法能判定任意程序是否停机，正如不存在通用算法能判定所有命题真伪。

但这未必悲观。人类数学家同样受困于不完备性，却通过直觉与元数学跃迁不断突破边界。AI能否发展出类似的"元认知"能力，在形式系统之外寻找洞察？这或许是通往通用智能的关键问题——不是让AI在系统内穷尽一切，而是让它学会何时该跳出系统。