Kurt Gödel：AI 时代无法逾越的数学边界
Infinities, impossibilities, and the man in the white linen suit
Kurt Gödel 晚年因坚信食物被下毒而绝食身亡，这位逻辑学巨匠用不完备性定理证明了数学系统存在无法自证的真理盲区。从 David Hilbert 的完美机器梦想到 Alan Turing 图灵机的诞生，再到如今耗资万亿美元的 AI 热潮，Gödel 的洞见揭示了规则系统的根本局限：任何基于规则的体系（包括 AI）都存在无法被自身证明的真命题。当 Jürgen Schmidhuber 提出 Gödel machine 试图让 AI 自我改写时，那个“绝对保证”的幻梦再次面临挑战。在 AI 被视为单纯规模问题的今天，重温这些关于无限与不可能的思考，或许能让我们对智能的本质保持一份清醒。
"任何足够强大以处理基础算术的规则体系，都会包含一些真实却无法被证明的陈述，这不是因为规则选择不当，而是规则系统本身的结构特征。"
HN 评论区
- 有评论者指出文章对 Gödel's Incompleteness Theorem 的表述存在严重错误，忽略了 Gödel's Completeness Theorem 的语义模型含义，导致对数学边界的误读。
- 多位用户反驳称，Gödel's Incompleteness Theorem 和 Halting Problem 同样适用于人脑，若这些定理是通用智能的障碍，人类本身就不可能存在。
- 从业者强调工程实践中的近似解和概率验证（如 timeout 机制）足以应对 Halting Problem，完美可证明性并非 AI 系统有用的必要条件。
- 有观点认为文章过度夸大 Gödel 对 AI 行业的实际影响，指出人类行为可能并不属于那些无法证明的 pathological cases，且自然智能本身也不具备完美可证明性。
- 部分评论质疑文章本身具有明显的 LLM-isms 特征，认为其内容空洞、逻辑牵强，更像是一篇由 AI 生成的广告而非严谨的数学讨论。