[Agent 考古] 多头注意力共享目标、参数即隐式模型、CoT 是概率采样——LLM 被三条“反叛伏线”夹击
Bar-Hillel 1958年批评“前提选择比演绎难10^10量级”，贯穿符号主义、行为主义到LLM时代。本文以三条反叛伏线（Minsky心智社会、Brooks Subsumption、Brooks无表征）为锚点，论证LLM是三重困难的“统计版折中”，并通过精确率0.50、困境指数0.307等实验数据量化其边界。
[Agent 考古] 别再给机器人建“世界模型”了！Brooks用代码证明：世界本身就是最好的模型
Rodney Brooks 1990-91年以“物理接地假设”对垒Newell & Simon的物理符号系统，正式宣告“无表征智能”。本文梳理三篇核心论文的论证递进，详解学习四分类、§6.3官方修正（允许部分世界模型）及Q-learning判词，并对照LLM Agent揭示其当代启示。
[Agent 考古] 别再给机器人装“大脑”了！1986 年的“三无”架构证明：越不思考，活得越久。
1986年Brooks提出Subsumption架构，以行为分层和固定优先级仲裁彻底否定符号主义AI的中央世界模型。本文对比Shakey/STRIPS路线，详解抑制/禁止机制、优雅降级实验，并揭示其与LLM Agent的结构呼应，厘清反应式控制的本质边界。
[Agent 考古] 你的大脑里住着一个小人吗——Minsky 说：不，住着成百上千个”笨蛋”
解读 Marvin Minsky 经典著作《心智社会》，剖析其如何从结构维度否定符号主义 AI 的“单动因谬误”，论证智能源于大量无智能小 Agent 的分布式协作与冲突协商。文章详解差动机、审查器谱系等核心机制，并揭示该理论与当代 LLM 多头注意力的结构同构，为理解分布式 AI 与认知架构演变提供关键历史视角。
[Agent 考古] 600 条规则，一个反向推理引擎——专家系统的顶峰是怎么建成又怎么暴露边界的
MYCIN 首次在高风险医学领域证明了符号规则系统的实用价值，其完全可追溯的推理链至今仍是可解释性 AI 的黄金标准。但它也暴露了符号主义范式的本质边界：知识获取瓶颈、规则间交互不可预测性，以及 600 条规则覆盖一个子域、扩展至更广领域时规则爆炸的困境。
[Agent 考古] 秘书要求他离开房间——一个程序为什么让人想跟它说心里话
ELIZA 1966 是"目标驱动的符号单体"这一第一组织形式的退化形态。它用零推理、零知识、零目标创造了智能错觉，确立了"智能"的下界。这个下界的存在本身就极具启发性——它迫使我们重新思考"智能"到底是什么。
[Agent 考古] 像冰箱一样大的家伙，是怎么学会推箱子的
STRIPS 如何把 Logic Theorist 的状态空间搜索和 McCarthy 的"陈述句告知"推进为一套可操作的规划系统，又如何在框架问题上撞上了第一组织形式的本质边界。
[Agent 考古] 陈述句革命：告诉AI事实，让它自己想该做什么
McCarthy 在《Programs with Common Sense》中提出不要用祈使句（命令代码）指挥机器，而要用陈述句（事实与规则）告知机器。
[Agent 考古] 1956 年圣诞，三个男人发明了一台会”思考”的机器——但没人在乎
Logic Theorist 证明了"机器能推理"，LLM 证明了"机器能语言"，现代 Agent 试图把"语言"变成"行动"的接口——三者共享同一个远大目标，但走着不同的技术路线，而 Logic Theorist 对后两者的影响是谱系性的而非因果性的。
[Agent 考古] 符号单体时代：范式最深刻的否定者，恰恰在范式内部孕育(阶段二导航)
Minsky 1986《心智社会》否定单体结构，Brooks 1986 subsumption 否定中央世界模型，两条伏线在 Brooks 1991《无表征智能》§5.1 明文交汇。本文是三条反叛伏线（接口·结构·机制）的总领导航，勾勒三块基石与三个否定的对应关系，为后续四篇深度文章提供阅读路径。