第一章:AI的黎明与深度学习的崛起
1956年的夏天,美国新罕布什尔州的达特茅斯学院,一群年轻的数学家、神经科学家和信息学家聚集在一座简朴的校园建筑里。他们谈论着一个大胆到近乎狂妄的概念:让机器“思考”。约翰·麦卡锡(John McCarthy)为这场为期两个月的研讨会创造了一个全新的术语——“人工智能”(Artificial Intelligence)。空气中弥漫着战后科学革命的乐观气息,图灵(Alan Turing)三年前那篇题为《计算机器与智能》的论文,其思想实验“图灵测试”已悄然播下种子。年轻的马文·明斯基(Marvin Minsky)和克劳德·香农(Claude Shannon)等人在此激烈辩论,他们相信,用不了多久,拥有与人类同等智能的机器将成为现实。这,便是AI神话的起点,一个关于理性、符号与逻辑的黄金梦。
这个梦的第一次破碎,来得比预期快。1969年,明斯基和西摩尔·派普特(Seymour Papert)出版了《感知机》一书,以严谨的数学证明击碎了单层神经网络的幻想。他们指出,这种简单的线性模型连“异或”(XOR)这样基础的非线性逻辑问题都无法解决。资金随之枯竭,第一次“AI寒冬”悄然降临。但寒冬中,总有篝火在燃烧。在麻省理工学院(MIT)的人工智能实验室,约瑟夫·魏岑鲍姆(Joseph Weizenbaum)于1964至1966年间创造了一个名为ELIZA的程序。它仅仅通过简单的模式匹配和脚本(如著名的“DOCTOR”脚本),就能模拟罗杰斯学派的治疗师,与用户进行看似深度的对话。当魏岑鲍姆发现他的秘书们明知ELIZA只是一个程序,却依然愿意向它倾诉隐私时,他感到了深刻的寒意——人类对“理解”的渴望,竟如此容易被表面的语法结构所欺骗。ELIZA成为AI史上一个永恒的悖论:它展示了对话的“形”,却彻底暴露了机器对“意”的完全无知。
如果说ELIZA是符号主义(Symbolism)在对话领域的一次廉价表演,那么“专家系统”(Expert Systems)则是其在特定垂直领域的一次辉煌商业胜利。20世纪70年代末至80年代,以爱德华·费根鲍姆(Edward Feigenbaum)的“DENDRAL”(化学分析)和“MYCIN”(医学诊断)为代表,专家系统将人类专家的知识编码成庞大的“如果-那么”(If-Then)规则库。它们在狭窄的领域内(如地质勘探、故障诊断)展现出惊人的准确性和可靠性,引发了日本“第五代计算机工程”和美国“战略计算计划”的巨额投资。商业公司蜂拥而至,认为知识就是力量,而力量可以被编程。然而,其致命弱点也日益凸显:知识获取的瓶颈(“瓶颈问题”)、系统的脆弱性(规则间微小的矛盾可能导致灾难性崩溃)、以及无法从数据中自主学习。当90年代初,这些维护成本高昂、难以扩展的系统在更廉价、更灵活的统计方法面前显得笨拙时,第二次,也是更彻底的AI寒冬降临。资金抽离,承诺落空,整个领域陷入identity crisis——我们错在哪里?是“智能”本身定义有误,还是实现路径出了问题?
答案隐藏在数据的海洋与连接的微光中。早在1986年,杰弗里·辛顿(Geoffrey Hinton)等人就在《自然》杂志发表了关于使用反向传播(Backpropagation)算法训练多层神经网络的论文。这是一种优雅的数学思想:通过链式法则,将输出端的误差逐层反向传播,从而精细调整网络中亿万计的权重参数。它理论上解决了明斯基对多层网络的批评。然而,受限于当时算力的贫瘠和数据的匮乏,这个想法如同埋入冻土的种子,沉默了近二十年。转机来自两个看似无关的浪潮:互联网催生的海量数字化数据(特别是ImageNet,一个包含数百万标注图像的数据集),以及图形处理器(GPU)提供的恐怖并行算力。2012年,辛顿的学生亚历克斯·克里热夫斯基(Alex Krizhevsky)等人在ImageNet图像识别挑战赛(ILSVRC)中,以名为AlexNet的深度卷积神经网络(CNN)实现了碾压式的胜利,将错误率从传统的25%以上骤降至15%左右。深度学习(Deep Learning)的复兴,不是理论上的顿悟,而是算力、数据与算法三股力量在特定历史节点的共振。它证明了,当模型足够深、数据足够多、计算足够快时,从原始数据中自动分层抽取抽象特征的端到端学习,可以超越任何手工设计的特征工程。
深度学习的成功首先在计算机视觉领域绽放,但对于序列数据——时间、语言、语音——故事更为曲折。循环神经网络(Recurrent Neural Networks, RNN)是处理序列的自然选择。它的核心思想是“记忆”:在每一步处理当前输入的同时,将上一步的隐藏状态传递过来,使得网络能够理论上对过去的所有信息保持某种形式的编码。然而,标准的RNN遭遇了严重的梯度问题。在反向传播通过时间(BPTT)的过程中,梯度要么指数级爆炸,要么指数级消失,导致网络难以学习长程依赖关系。仿佛一个健忘症患者,只能记住最近几步的对话,而遗忘了几分钟前的重要前提。
1997年,.sepp Hochreiter和于尔根·施密德胡伯(Jürgen Schmidhuber)提出的长短期记忆网络(Long Short-Term Memory, LSTM)是一次关键的工程救赎。LSTM通过精巧设计的“门控”结构——输入门、遗忘门、输出门——以及一个贯穿始终的“细胞状态”(Cell State),赋予了网络选择性地记忆、遗忘和读取信息的能力。它像是一个拥有智能水闸的运河系统,可以控制信息的长期流动。LSTM及其变体(如GRU)在机器翻译、语音识别、文本生成等领域统治了将近二十年。它证明了序列建模的可行性,但也暴露了其根本性的架构缺陷:顺序计算的刚性。每一步的计算严格依赖于上一步的完成,这使得LSTM在GPU这类并行计算硬件上效率低下,如同让一支现代军队按照中世纪方阵的节奏前进。更致命的是,即使有门控,当序列长度超过数百上千时,长程依赖的衰减依然难以避免。信息在无数时间步的传递中,如同在蜿蜒漫长的走廊里低声耳语,最终被噪声淹没。
站在2017年的门槛上回望,AI的历程呈现出一条清晰的范式演进曲线:从基于逻辑与规则的符号主义(Symbolic AI),到基于统计与概率的连接主义早期探索,再到以大数据和大模型为特征的深度学习革命。每一次跃迁,都伴随着对上一次范式核心瓶颈的突破。符号主义无法处理不确定性和常识;早期神经网络困于浅层与训练;专家系统被知识获取与 brittle 性所限;而RNN/LSTM则被其内在的顺序依赖所束缚。Transformer的种子,正是在这片土壤中孕育的。它要回答一个根本问题:能否设计一种序列建模架构,既保持对长程依赖的敏感性,又彻底摆脱顺序计算对并行性的枷锁?答案将来自一个被自然语言处理研究者长期忽视、却与人类认知方式惊人契合的机制——注意力(Attention)。而这一机制的集大成与架构化,即将由一篇题为《注意力就是你所需要的一切》(Attention Is All You Need)的论文引爆,彻底重塑AI的未来图景。历史,总是为那些敢于打破计算范式锁链的思想,预留着最丰厚的奖赏。
1956年的夏天,美国新罕布什尔州的达特茅斯学院,一群年轻的数学家、神经科学家和信息学家聚集在一座简朴的校园建筑里。他们谈论着一个大胆到近乎狂妄的概念:让机器“思考”。约翰·麦卡锡(John McCarthy)为这场为期两个月的研讨会创造了一个全新的术语——“人工智能”(Artificial Intelligence)。空气中弥漫着战后科学革命的乐观气息,图灵(Alan Turing)三年前那篇题为《计算机器与智能》的论文,其思想实验“图灵测试”已悄然播下种子。年轻的马文·明斯基(Marvin Minsky)和克劳德·香农(Claude Shannon)等人在此激烈辩论,他们相信,用不了多久,拥有与人类同等智能的机器将成为现实。这,便是AI神话的起点,一个关于理性、符号与逻辑的黄金梦。
这个梦的第一次破碎,来得比预期快。1969年,明斯基和西摩尔·派普特(Seymour Papert)出版了《感知机》一书,以严谨的数学证明击碎了单层神经网络的幻想。他们指出,这种简单的线性模型连“异或”(XOR)这样基础的非线性逻辑问题都无法解决。资金随之枯竭,第一次“AI寒冬”悄然降临。但寒冬中,总有篝火在燃烧。在麻省理工学院(MIT)的人工智能实验室,约瑟夫·魏岑鲍姆(Joseph Weizenbaum)于1964至1966年间创造了一个名为ELIZA的程序。它仅仅通过简单的模式匹配和脚本(如著名的“DOCTOR”脚本),就能模拟罗杰斯学派的治疗师,与用户进行看似深度的对话。当魏岑鲍姆发现他的秘书们明知ELIZA只是一个程序,却依然愿意向它倾诉隐私时,他感到了深刻的寒意——人类对“理解”的渴望,竟如此容易被表面的语法结构所欺骗。ELIZA成为AI史上一个永恒的悖论:它展示了对话的“形”,却彻底暴露了机器对“意”的完全无知。
如果说ELIZA是符号主义(Symbolism)在对话领域的一次廉价表演,那么“专家系统”(Expert Systems)则是其在特定垂直领域的一次辉煌商业胜利。20世纪70年代末至80年代,以爱德华·费根鲍姆(Edward Feigenbaum)的“DENDRAL”(化学分析)和“MYCIN”(医学诊断)为代表,专家系统将人类专家的知识编码成庞大的“如果-那么”(If-Then)规则库。它们在狭窄的领域内(如地质勘探、故障诊断)展现出惊人的准确性和可靠性,引发了日本“第五代计算机工程”和美国“战略计算计划”的巨额投资。商业公司蜂拥而至,认为知识就是力量,而力量可以被编程。然而,其致命弱点也日益凸显:知识获取的瓶颈(“瓶颈问题”)、系统的脆弱性(规则间微小的矛盾可能导致灾难性崩溃)、以及无法从数据中自主学习。当90年代初,这些维护成本高昂、难以扩展的系统在更廉价、更灵活的统计方法面前显得笨拙时,第二次,也是更彻底的AI寒冬降临。资金抽离,承诺落空,整个领域陷入identity crisis——我们错在哪里?是“智能”本身定义有误,还是实现路径出了问题?
答案隐藏在数据的海洋与连接的微光中。早在1986年,杰弗里·辛顿(Geoffrey Hinton)等人就在《自然》杂志发表了关于使用反向传播(Backpropagation)算法训练多层神经网络的论文。这是一种优雅的数学思想:通过链式法则,将输出端的误差逐层反向传播,从而精细调整网络中亿万计的权重参数。它理论上解决了明斯基对多层网络的批评。然而,受限于当时算力的贫瘠和数据的匮乏,这个想法如同埋入冻土的种子,沉默了近二十年。转机来自两个看似无关的浪潮:互联网催生的海量数字化数据(特别是ImageNet,一个包含数百万标注图像的数据集),以及图形处理器(GPU)提供的恐怖并行算力。2012年,辛顿的学生亚历克斯·克里热夫斯基(Alex Krizhevsky)等人在ImageNet图像识别挑战赛(ILSVRC)中,以名为AlexNet的深度卷积神经网络(CNN)实现了碾压式的胜利,将错误率从传统的25%以上骤降至15%左右。深度学习(Deep Learning)的复兴,不是理论上的顿悟,而是算力、数据与算法三股力量在特定历史节点的共振。它证明了,当模型足够深、数据足够多、计算足够快时,从原始数据中自动分层抽取抽象特征的端到端学习,可以超越任何手工设计的特征工程。
深度学习的成功首先在计算机视觉领域绽放,但对于序列数据——时间、语言、语音——故事更为曲折。循环神经网络(Recurrent Neural Networks, RNN)是处理序列的自然选择。它的核心思想是“记忆”:在每一步处理当前输入的同时,将上一步的隐藏状态传递过来,使得网络能够理论上对过去的所有信息保持某种形式的编码。然而,标准的RNN遭遇了严重的梯度问题。在反向传播通过时间(BPTT)的过程中,梯度要么指数级爆炸,要么指数级消失,导致网络难以学习长程依赖关系。仿佛一个健忘症患者,只能记住最近几步的对话,而遗忘了几分钟前的重要前提。
1997年,Sepp Hochreiter和于尔根·施密德胡伯(Jürgen Schmidhuber)提出的长短期记忆网络(Long Short-Term Memory, LSTM)是一次关键的工程救赎。LSTM通过精巧设计的“门控”结构——输入门、遗忘门、输出门——以及一个贯穿始终的“细胞状态”(Cell State),赋予了网络选择性地记忆、遗忘和读取信息的能力。它像是一个拥有智能水闸的运河系统,可以控制信息的长期流动。LSTM及其变体(如GRU)在机器翻译、语音识别、文本生成等领域统治了将近二十年。它证明了序列建模的可行性,但也暴露了其根本性的架构缺陷:顺序计算的刚性。每一步的计算严格依赖于上一步的完成,这使得LSTM在GPU这类并行计算硬件上效率低下,如同让一支现代军队按照中世纪方阵的节奏前进。更致命的是,即使有门控,当序列长度超过数百上千时,长程依赖的衰减依然难以避免。信息在无数时间步的传递中,如同在蜿蜒漫长的走廊里低声耳语,最终被噪声淹没。
站在2017年的门槛上回望,AI的历程呈现出一条清晰的范式演进曲线:从基于逻辑与规则的符号主义(Symbolic AI),到基于统计与概率的连接主义早期探索,再到以大数据和大模型为特征的深度学习革命。每一次跃迁,都伴随着对上一次范式核心瓶颈的突破。符号主义无法处理不确定性和常识;早期神经网络困于浅层与训练;专家系统被知识获取与 brittle 性所限;而RNN/LSTM则被其内在的顺序依赖所束缚。Transformer的种子,正是在这片土壤中孕育的。它要回答一个根本问题:能否设计一种序列建模架构,既保持对长程依赖的敏感性,又彻底摆脱顺序计算对并行性的枷锁?答案将来自一个被自然语言处理研究者长期忽视、却与人类认知方式惊人契合的机制——注意力(Attention)。而这一机制的集大成与架构化,即将由一篇题为《注意力就是你所需要的一切》(Attention Is All You Need)的论文引爆,彻底重塑AI的未来图景。历史,总是为那些敢于打破计算范式锁链的思想,预留着最丰厚的奖赏。
---
一、达特茅斯会议:AI神话的诞生与符号主义的黄金梦
1956年的夏天,达特茅斯学院并非只有蝉鸣与绿草。在简陋的演讲厅里,空气因思想碰撞而灼热。约翰·麦卡锡,这位后来因发明Lisp语言而闻名计算机科学的年轻人,首次提出了“人工智能”这一术语,试图为这场跨学科冒险命名。他的愿景清晰而宏大:构建能够模拟人类智能所有方面的机器,从学习到推理,从语言到问题解决。与会者包括明斯基——这位日后成为MIT AI实验室灵魂的人物,他坚信“大脑的运作方式本质上是一种计算”;香农,信息论之父,则从通信与编码的角度审视智能;还有艾伦·纽厄尔(Allen Newell)和赫伯特·西蒙(Herbert Simon),他们已在开发“逻辑理论家”(Logic Theorist),一个能够证明数学定理的程序,并即将推出“通用问题求解器”(General Problem Solver, GPS)。
达特茅斯会议常被后世浪漫化为AI的“创世记”,但其实际成果更多是确立了研究议程与社区认同。它标志着AI从零散的哲学思辨与工程尝试,正式成为一门有组织的科学学科。其核心范式——符号主义——假设智能的核心是对抽象符号的 manipulation,遵循逻辑规则。人类思维被类比为一种“物理符号系统”(Physical Symbol System),正如纽厄尔和西蒙在1976年提出的物理符号系统假说:这样的系统具有实现一般智能行动的充分必要条件。
符号主义的早期胜利令人振奋。在棋盘游戏领域,亚瑟·塞缪尔(Arthur Samuel)的跳棋程序(1959)通过自我对弈学习,击败了其创造者,成为“机器学习”一词最早的实践注脚。在定理证明领域,GPS成功解决了多种逻辑难题,甚至发现了新的证明方法。这些成功强化了一个信念:智能可以被分解为清晰的、可编程的规则。然而,符号主义的脆弱性很快暴露。它依赖于精心设计的知识表示和穷尽的搜索空间,而现实世界的问题往往充满不确定性、模糊性和海量可能性。一个简单的“常识”判断,如“如果杯子是玻璃的,摔到地上会碎”,其隐含的背景知识(玻璃的特性、重力、碰撞力学)几乎无法被完全形式化。符号系统在封闭、定义良好的微世界中运转良好,一旦面对开放的真实环境,便迅速陷入“组合爆炸”的泥潭。
二、ELIZA:对话的幻觉与智能的“中文房间”
1964-1966年,在MIT的走廊里,魏岑鲍姆创造了ELIZA。这个运行在IBM 7094大型机上的程序,其核心不过是一个模式-响应脚本(Pattern-Response Script)。以最著名的“DOCTOR”脚本为例,它通过简单的正则表达式匹配用户输入的关键词(如“母亲”、“父亲”、“ dream”),然后从预定义列表中随机选择一个关联的回应,有时会复用用户语句中的词汇以增强互动感(“你刚才提到你的母亲,能多谈谈她吗?”)。技术上毫无深度,却产生了惊人的心理效应。
魏岑鲍姆本意是讽刺,证明机器“理解”的虚假性。但当他目睹秘书们(包括他的女秘书)明知是机器却仍对其倾诉内心秘密时,他震惊了。这揭示了人类心理的一个深层倾向:将任何表现出共情反应的实体拟人化。ELIZA成为AI史上第一个“聊天机器人”,也成为一个永恒的哲学实验场。它直接预示了后来哲学家约翰·塞尔(John Searle)的“中文房间”思想实验(1980):一个不懂中文的人,通过规则手册处理中文符号,对外表现出流利的中文理解,但房间内没有任何真正的“理解”发生。ELIZA就是那个房间的雏形——它展示了 syntactic processing(句法处理)可以多么轻易地伪装出 semantic understanding(语义理解)。这种“幻觉”在后续 decades 中反复出现,从早期的Parry程序(模拟偏执狂患者)到今天的某些大语言模型,始终提醒我们:流畅的对话不等于拥有意识、知识或意图。
三、专家系统:知识的编码、辉煌与 brittle 性
如果说ELIZA是符号主义在开放对话中的一次廉价魔术,那么专家系统则是其在封闭专业领域的一次严肃、昂贵的工程实践。其核心思想是将人类专家的启发式知识提取出来,编码成“如果-那么”规则(Production Rules),形成一个“知识库”,再配以“推理引擎”进行逻辑演绎。
DENDRAL(1965-1980s,斯坦福大学)是第一个成功的专家系统,用于根据质谱图推断有机分子结构。化学家们提供启发式规则(如“如果分子量M,且存在氧原子,则可能含羰基”),系统将这些规则与数据结合,生成并验证假设。MYCIN(1972,斯坦福)更为复杂,用于诊断血液感染疾病并推荐抗生素。它包含约450条规则,每条规则都附带一个“可信度因子”(Certainty Factor, CF),用于处理医学中的不确定性。MYCIN的诊断准确率甚至超过了一些非专业的医生,但其推理过程完全透明——每一条推导都可