计算的终极边界不是工程问题，而是数学定理

人们直觉上认为「只要算力足够强，什么都能算」。但哥德尔不完备定理和图灵的停机问题证明了某些问题是数学上不可判定的——不是我们造不出更强的机器，而是这些问题在逻辑层面就没有解。这个认知对理解 AI 的能力边界至关重要：AI 不是万能的，它的能力边界由数学定理而非工程水平划定。