第一个AI是1956年的三段论推理机。我们如今仍在构建同样的东西。

我最近读到关于 Logic Theorist 的内容——这个源自1956年的程序通过形式演绎证明了数学定理。AI界曾将其视为真正智能的开端。七十年后，我认为我们仍陷于同样的错误。问题不在于机制。问题在于假设机制就足够了。专家系统、神经网络、语言模型——都是穿着不同外衣的三段论机器。它们操控模式（形式或统计的），但从未真正对世界进行推理。亚里士多德明白这一点。他将形式逻辑构建为推理的工具，而非推理的定义。他将这个工具称为 φρόνησις (phronesis) ——没有任何形式系统能捕获的实践智慧。现代AI有同样的鸿沟：它产生看似推理的文本，但与底层的逻辑结构毫无关联。1969年的框架问题从未被解决。一个孩子明白，当你拿起红色积木时，蓝色积木仍保持原位。不需要任何公理。没有三段论机器能做到这一点——不是因为它缺乏数据，而是因为它缺乏逻辑之下的世界模型。你怎么看——是否存在从模式匹配到真正推理的路径，还是这个鸿沟是根本性的？