AI 仍是“推理机器”吗
vasilisvj · reddit · 2026-07-14
作者把 1956 年的 Logic Theorist 称为“最早的 AI 脱口秀式起点”，并认为 70 年过去了，我们仍然在重复同一个问题：把机制当成理解本身。 他的核心论点是：无论是专家系统、神经网络还是语言模型，本质上都只是“不同包装的三段论机器”，会处理符号或统计模式，但并没有真正接触世界。 文中用几个历史与哲学概念支撑这一判断： - 亚里士多德的形式逻辑是“工具”，不是“定义” - `phronesis`（实践智慧）无法被形式系统穷尽 - 1969 年的 frame problem 直到今天仍未真正解决 - 儿童能自然知道“拿起红积木时蓝积木不会跟着移动”，这类世界常识不是靠显式公理获得的 结尾抛出开放问题：从模式匹配到真正推理，是否存在可行路径，还是这个鸿沟本身就是根本性的。