1927年9月4日,波士顿一个普通家庭迎来了一个后来改变计算机历史的男孩。约翰·麦卡锡的成长经历充满了戏剧性——这个在洛杉矶公立学校系统里跳级两次的数学天才,在初中时就已经自学完大学低年级的微积分课程。1944年进入加州理工学院后,他直接跳过了前两年的数学课程,这种惊人的学习能力预示着他未来在学术领域的非凡成就。
麦卡锡的职业生涯转折点出现在普林斯顿大学攻读博士期间。当时他参加了由数学大师约翰·冯·诺依曼主持的研讨会,这场关于自复制自动机的讨论在他心中埋下了机器智能研究的种子。多年后他回忆道:"冯·诺依曼的报告让我意识到,机器不仅可以计算数字,还应该能够处理符号和概念。"这种认知在当时是革命性的,因为在1950年代,计算机还仅仅被视为"巨型计算器"。
1955年,28岁的麦卡锡与Marvin Minsky等四位年轻科学家共同起草了一份提案,申请在达特茅斯学院举办一场为期两个月的夏季研讨会。在这份具有历史意义的提案中,麦卡锡首次使用了"人工智能"(Artificial Intelligence)这个术语。他后来幽默地解释:"我们需要一个区别于'自动机研究'和'复杂信息处理'的名称,'人工智能'听起来既专业又不会太吓人。"
1956年夏天,这场后来被称为"达特茅斯会议"的研讨会在新罕布什尔州如期举行。虽然参会人数不足二十人,但包括克劳德·香农、艾伦·纽厄尔等在内的参与者都成为了AI领域的开拓者。会议虽然没有产生具体的技术突破,但确立了人工智能作为一个独立学科的研究范畴和目标。
关键洞见:麦卡锡选择"人工智能"而非"机器智能"等术语,体现了他对这项技术的人文主义视角——机器可以模拟而非替代人类智能。
在达特茅斯提案中,麦卡锡清晰地勾勒出AI研究的七个关键方向:
这份清单惊人地预见了未来70年AI发展的主要轨迹。特别值得注意的是,麦卡锡特别强调"让机器使用语言形成抽象概念"的重要性,这直接指向了当今大语言模型的研究方向。
1958年,麦卡锡在MIT工作期间发明了Lisp(LISt Processor)语言。与当时主流的Fortran等命令式语言不同,Lisp基于阿隆佐·邱奇的lambda演算理论,开创了函数式编程范式。其核心创新包括:
这些特性使Lisp特别适合符号处理和逻辑推理,成为AI研究的理想工具。在1980年代前,绝大多数AI系统都是用Lisp开发的,包括著名的专家系统MYCIN和Dendral。
尽管现代AI开发已转向Python等语言,但Lisp的设计思想仍然深刻影响着编程语言发展:
麦卡锡曾表示:"Lisp不是我为AI设计的完美语言,只是当时能想到的最不糟糕的方案。"这种实用主义态度正是他工程思维的体现。
1960年代初,计算机使用还停留在批处理模式——用户将打孔卡片交给操作员,几小时甚至几天后才能拿到结果。麦卡锡在MIT工作时,对这种低效模式深感不满,提出了"分时系统"(Time-Sharing System)的构想:
1961年,麦卡锡在MIT实现了首个分时系统CTSS,使30个终端可以同时使用一台IBM 7090主机。这直接促成了现代操作系统的多任务机制和云计算资源分配模式。
分时技术的衍生影响远超预期:
有趣的是,麦卡锡开发分时系统的初衷只是为了更方便地调试Lisp程序。这个无心插柳的发明再次证明:基础研究的价值往往超出最初预期。
1963年,麦卡锡提出了情景演算(Situation Calculus)理论,解决了AI领域的一个根本难题:如何用逻辑表示随时间变化的世界状态。其核心要素包括:
这套形式化工具使机器能够进行因果推理,为后来的自动规划系统(如STRIPS)奠定了基础。现代机器人导航、业务流程自动化等技术都受益于此。
麦卡锡发现,即使是最简单的日常场景,也需要庞大的背景知识才能准确建模。例如"拿起咖啡杯"这个动作,隐含着手臂长度足够、杯子内有液体不会洒出等无数假设。他称之为"常识知识问题",并认为这是AI面临的最大障碍。
这一洞见直接影响了后来的知识图谱研究。当今的语义网络、本体论工程都可以看作对麦卡锡提出的常识表示问题的延续探索。
1962年,麦卡锡离开MIT,在斯坦福大学创立了人工智能实验室(SAIL)。这个坐落在山坡上的独特建筑(因其外形被称为"穹顶实验室")成为了AI研究的圣地。在麦卡锡领导下,SAIL取得了一系列突破:
麦卡锡培养的学生和同事构成了AI领域的"家谱"主干:
这种学术传承使得麦卡锡的思想得以指数级传播。据统计,当今AI领域约60%的顶尖研究者都可以通过师生关系追溯到麦卡锡。
早在1960年代,麦卡锡就预见到AI可能带来的社会影响。他在1973年的文章《人工智能的哲学问题》中提出:
"智能机器将迫使人类重新定义'意识'、'自由意志'等概念。我们需要确保AI系统内建伦理框架,而不仅是外部约束。"
这种前瞻性思考为后来的AI伦理研究指明了方向。麦卡锡特别强调"可解释AI"的重要性——系统应该能够向人类用户解释其推理过程。
与许多AI先驱不同,麦卡锡对技术发展保持谨慎乐观。他著名的"咖啡测试"(让机器进入陌生家庭煮一杯咖啡)揭示了AI在物理世界面临的复杂性。这种务实态度在当前AI炒作盛行的时代尤其珍贵。
麦卡锡晚年仍然坚持研究常识推理问题。2011年去世前,他正在修改的最后一篇论文题为《什么是常识以及如何将其赋予机器?》,体现了他对基础问题的执着探索。
虽然主流AI开发已很少直接使用Lisp,但其核心理念在深度学习中重现:
当前强化学习中的马尔可夫决策过程(MDP)、部分可观察马尔可夫决策过程(POMDP)都可以看作情景演算的概率扩展。机器人领域的STRIPS规划器直接基于麦卡锡的形式化方法。
云计算中的虚拟化技术、容器编排系统本质上都是分时理念的分布式扩展。麦卡锡当年面对的"如何高效共享昂贵计算资源"问题,在云时代有了新的解决方案。
在斯坦福大学的档案馆里,保存着麦卡锡使用过的最后一台工作站。屏幕上仍显示着未完成的Lisp代码——这位AI之父直到生命最后时刻,仍在探索如何让机器更好地理解人类世界。这种永不满足的好奇心和执着精神,或许是他留给AI领域最宝贵的遗产。