从 1966 年 MIT 的暑期大作业到今天的“提示词水管工”:AI 七十年,我们从符号主义的死与生中学到了什么?
引言:历史的幽灵从未离开
在人工智能发展的几十年里,有一个“幽灵”始终在反复徘徊:人类总是一厢情愿地认为,只要把人类的逻辑、常识和规则整理成足够详尽的符号集合,计算机就能轻易通向通用智能。
从 1966 年麻省理工学院那场试图在两个月内解决机器视觉的“暑期项目”,到 1980 年代轰然倒塌的专家系统狂欢;再到今天大模型时代,那些试图用庞大 DAG 图、节点分支和硬编码逻辑去组装“智能 Agent”的尝试——人类似乎总在重复同一种执念。
符号主义(Symbolism)究竟经历了怎样的幻灭?它的失败在多大程度上影响了今天的 AI 范式?而退去神坛之后的它,又在现代工业与严谨科学中扮演着怎样的关键角色?
文章目录
- 从 1966 年 MIT 的暑期大作业到今天的“提示词水管工”:AI 七十年,我们从符号主义的死与生中学到了什么?
- 引言:历史的幽灵从未离开
- 一、 傲慢与偏见:符号主义的巅峰与世纪误判
- 1. 1966 年 MIT 夏季视觉项目(The Summer Vision Project)
- 2. 第二次 AI 寒冬(1987 - 1993)与规则的崩溃
- 二、 历史的还魂:当现代人又在拿大模型玩“规则积木”
- 三、 符号主义的固有价值
- 四、 演进:神经符号 AI(Neuro-Symbolic AI)的合流
- 1. 训练层结合:将客观法则转化为可微损失
- 2. 架构层结合:神经直觉提议 + 符号引擎严格演绎
- 3. 推理层结合:语法状态机与受限解码
- 4. 控制层结合:控制屏障函数(CBF)与符号安全盾
- 结语
一、 傲慢与偏见:符号主义的巅峰与世纪误判
在 20 世纪 50 至 60 年代,以赫伯特·西蒙(Herbert Simon)和艾伦·纽厄尔(Allen Newell)为代表的先驱提出了著名的“物理符号系统假说”(Physical Symbol System Hypothesis):人类心智的本质就是符号的操作与逻辑匹配。只要给计算机输入离散符号与演绎规则,它就能完成任何智能任务。
这一假说在带来早期逻辑推理成功的同时,也带来了人类对智能本质的巨大误判。
1. 1966 年 MIT 夏季视觉项目(The Summer Vision Project)
1966 年 7 月,MIT 人工智能实验室的先驱西摩尔·派珀特(Seymour Papert)撰写了一份著名的项目备忘录(MIT AI Memo No. 100),宣布计划利用 1966 年 7 月至 8 月这两个月的暑假时间,让几名本科生把摄像机接在 PDP-6 计算机上,完成图像分割、边缘提取与三维场景重建,构建一套完整的视觉分析系统。
关于这个夏季视觉项目(The Summer Vision Project)的更多信息,可以参考这篇文章中的相关介绍:计算机视觉历史故事—MIT人工智能实验室1966年暑期视觉项目计划 。
其中的任务基本涵盖了之后数十年计算机视觉目标检测部分的主要内容,只不过那时候还是基于特征匹配的思想,没有引入统计学习以及神经网络这些有效的方法。最后这个暑期项目进展可想而知,相必MIT的这些先驱们通过这个项目认识到了计算机视觉技术的发展还任重道远。
为什么当时的先驱会做出如此离谱的误判?
- “思维是核心,感知只是外设”:符号主义学者将人脑等同于冯·诺依曼架构——真正核心的是高阶逻辑推理(CPU),而眼睛只是类似于打孔纸带读取器一样的 I/O 外设。既然下棋和定理证明都能做,把像素转成符号必然只是简单的预处理。
- “积木世界”带来的虚假自信:早期学者在光照均匀、背景纯黑的简单几何积木块(Blocks World)上成功提取了轮廓,误以为现实世界无非是多加几条边缘公式而已,彻底低估了连续物理世界中光影、遮挡、纹理的病态逆问题(Ill-posed Problem)。
- 撞上“莫拉维克悖论”与“符号接地问题”:人类觉得困难的高阶推理(微积分、围棋),对机器极其容易;人类不假思索就能完成的感知(看清物体、听懂方言),用人工规则几乎无法描述。底层连续嘈杂的像素信号,根本无法通过人工硬编码自上而下地映射到高层语义符号上。
2. 第二次 AI 寒冬(1987 - 1993)与规则的崩溃
到了 1970 年代末至 80 年代,符号主义退守特定垂直领域,催生了“专家系统”(Expert Systems)。企业和政府投入巨资,试图将各行业专家的经验写成成千上万条IF-THEN规则。
然而,这场泡沫在 80 年代末彻底破裂:
- 知识获取瓶颈(Knowledge Acquisition Bottleneck):人类的核心经验大多是隐性知识(Tacit Knowledge),无法用离散规则精确穷举。
- 组合爆炸与系统脆弱性(Brittleness):规则库一旦超过临界规模,规则冲突和边界漏洞呈指数级扩散,修改一条规则往往导致整个系统崩溃。
上图来自:硅基凝视:Gemini 3视角下的Hinton霍巴特演讲 。其中的一些观点可供读者在阅读本文时参考。
二、 历史的还魂:当现代人又在拿大模型玩“规则积木”
几十年过去,基于深度学习与概率统计的连接主义(Connectionism)彻底颠覆了 AI 领域。然而,历史在当下的应用层再度重演。
在当前的 AI Agent 赛道上,充斥着大量的可视化拖拽平台、节点状态机和链式提示词瀑布流:开发者试图画出几百个分支的流程图,把大语言模型(LLM)塞进一个个 if-else 节点里做变量提取和文本补全。
开源项目 Learn Claude Code 对此给出了极为犀利的批判:
“那些系统从诞生之日起就已经死了:脆弱、不可扩展、根本不具备泛化能力。它们是 GOFAI(Good Old-Fashioned AI,经典符号 AI)的现代还魂——几十年前就被学界抛弃的符号规则系统,现在喷了一层 LLM 的漆又登场了。换了个包装,同一条死路。”
真正的技术共识正在回归本质:
Agency(自主行动力)来自模型训练,不是来自外部代码编排:从 DeepMind DQN 玩 Atari、OpenAI Five 打 Dota 2,到 AlphaStar 征服星际争霸,再到当今的编码 Agent,智能的感知、长程规划与决策能力,是神经网络经过海量数据和强化学习训练出来的,绝非外部工程硬编码出来的。
Harness(载具)才是工程的本职:工程师不该代替模型去画决策树,而是应当构建一个高效、安全的栖居环境(提供工具 API、上下文压缩、持久化任务与权限沙箱),然后维持极简的主循环,信任模型的推理能力。
关于 Agent Harness 的进一步学习,推荐参考:Learn Claude Code 这个项目。本节中的观点受到了该项目中 Learn Claude Code – 真正的 Agent Harness 工程 一文中相关内容的启发。
在2026年3月31日被意外“开源”的 Claude Code 可以说是目前的最优雅、最完整的 agent harness 实现,其中一个原因是它没有试图成为 Agent 本身:它没有强加固定的工作流,没有用精心设计的决策树去替模型做判断,而是给模型提供了工具、知识、上下文管理和权限边界,然后“让开”了。
关于如何训练一个“能够学会如何给自己配置Harness的模型”的相关方法的文章现在已经有一些了,例如:MemoHarness: Agent Harnesses That Learn from Experience 。
三、 符号主义的固有价值
既然用规则暴力穷举通用智能已被证明是死路,这是否意味着符号主义与专家系统毫无价值?
恰恰相反。符号主义的失败在于它“僭越”了自己不擅长的领域(感知、模糊常识与复杂意图);但在人类自主定义、要求 100% 确定性、零容错、强因果与法律可解释性的领域,基于规则的系统依然是现代文明不可替代的基石。
| 应用领域 | 典型案例 | 为什么必须用符号规则与专家系统? |
|---|---|---|
| 绝对确定与法律合规 | 个人所得税申报(TurboTax)、反洗钱合规(AML)、电商组合计价 | 税法与制裁名单是严格的离散法条,任何判定必须提供不可辩驳的因果逻辑链,黑盒概率模型无法通过审计。 |
| 零样本高阶决策 | 重大工程选址(核电站/深地填埋)、急诊分诊路径(Triage) | 缺乏数万次的失败样本可供统计训练,必须依赖 AHP 层次分析法等专家赋权体系,将专家主观经验转化为客观数学权重。 |
| 生命攸关的安全控制 | 航空防撞系统(TCAS)、轨道交通信号联锁系统 | 避撞指令和道岔互锁必须通过**形式化验证(Formal Verification)**在数学上证明其完备性,杜绝任何随机性或幻觉。 |
| 严谨科学与代码体系 | Rust 所有权检查(Borrow Checker)、定理证明器(Lean / Coq) | 在编译期消灭内存漏洞,或对高深数学命题进行无漏洞的严格符号推演。 |
四、 演进:神经符号 AI(Neuro-Symbolic AI)的合流
历史兜兜转转,连接主义与符号主义最终走向了融合。当下的学术与工业前沿,正致力于将两者的优势结合:
现代智能系统 = 神经网络(直觉 / 感知 / 概率采样 / 发散搜索) ⏟ System 1: 快思考 + 符号系统(严谨验证 / 逻辑约束 / 确定性兜底) ⏟ System 2: 慢思考 \text{现代智能系统} = \underbrace{\text{神经网络(直觉 / 感知 / 概率采样 / 发散搜索)}}_{\text{System 1: 快思考}} + \underbrace{\text{符号系统(严谨验证 / 逻辑约束 / 确定性兜底)}}_{\text{System 2: 慢思考}}现代智能系统=System 1:快思考神经网络(直觉/感知/概率采样/发散搜索)+System 2:慢思考符号系统(严谨验证/逻辑约束/确定性兜底)
在技术落地上,这种结合体现在四个不同层次:
1. 训练层结合:将客观法则转化为可微损失
- 物理信息神经网络(PINNs):在训练神经网络模拟流体力学时,将纳维-斯托克斯偏微分方程(PDE)作为损失函数项加入反向传播。即使样本数据极其稀疏,模型输出也绝对符合相应的物理规则(如质量守恒、动量守恒等)。
- 逻辑张量网络(LTN):利用模糊逻辑算子,将一阶谓词逻辑约束转化为连续可导的数学公式,强制网络在学习中遵守领域逻辑先验。
2. 架构层结合:神经直觉提议 + 符号引擎严格演绎
- DeepMind AlphaGeometry(奥数几何突破):面对奥数级几何题,符号推导引擎面临组合爆炸,纯大语言模型又存在逻辑跳步。AlphaGeometry 的架构是:符号引擎负责严格推导,陷入僵局时由神经模型提供直觉并精准添加关键“辅助线”,再交由符号引擎完成 100% 形式化证明。
3. 推理层结合:语法状态机与受限解码
- 文法掩码(Constrained Decoding / Outlines / SGLang):在大模型自回归生成 token 的每一步,利用符号状态机根据预设的 JSON Schema 或 SQL 语法对 Softmax 词表进行 Logit 屏蔽,从数学上 100%杜绝语法解析错误。
4. 控制层结合:控制屏障函数(CBF)与符号安全盾
- 具身智能与自动驾驶安全兜底:神经网络策略网络负责输出复杂的驾驶意图,底层的符号安全盾基于刚体动力学微分方程进行微秒级监控。一旦检测到可能发生碰撞,安全盾将以最高优先级接管输出指令,实施物理截断。
结语
回顾 AI 七十年演进史,我们能得到两点至关重要的启示:
不要试图用硬编码的规则去穷举世界。感知与常识的海洋,必须交给经过海量数据训练的神经网络去航行。
不要寄希望于黑盒模型去承担所有确定性责任。逻辑的骨架、安全的底线与严格的法理,必须牢牢锚定在符号与形式化规则之中。
最好的 AI 架构,绝非“在规则中强塞模型”的伪 Agent,也不是“脱离约束裸奔”的概率黑盒。用神经网络处理高维连续世界的直觉与泛化,用符号系统构建坚固的环境载具(Harness)与安全边界——这才是人工智能跨越历史周期、真正走向稳健落地的必由之路。