AI 这个词能成为一门学科的名字，直接原因是麦卡锡在 1955 年的提案书里选定了它。从达特茅斯会议的命名发起，到 LISP 语言的发明，再到斯坦福人工智能实验室的创建，他的公开履历覆盖了学科建制化的主要环节，「人工智能之父」这个称呼在公开资料里流传甚广，本文按公开时间线梳理这个称呼背后的公开事实。
1955-1956：一份提案与一个名字
1955 年，麦卡锡与明斯基、香农、罗切斯特四人联名提交《达特茅斯夏季人工智能研究项目提案》，提案书由麦卡锡主笔，「artificial intelligence」一词在这里被用于命名这个尚不存在的领域。提案涉及自动机、神经网络、自然语言计算等议题，与图灵 1950 年提出的问题清单一脉相承，可见图灵一篇。1956 年夏，会议按提案举行，达特茅斯会议为什么被视为 AI 起点一篇有完整经过；会议的产出与预期有差距，但它完成了两件影响深远的事：给学科起了名字，把分散在各领域的研究者聚到了同一面旗帜下。
1958-1960：LISP 与可编程的符号推理
1958 年，麦卡锡转入麻省理工学院，提出了「咨询接收器」（Advice Taker）这类符号推理程序的构想，并设计出 LISP 语言——1960 年发表《符号表达式的递归函数及其机器计算》。LISP 把「代码即数据」变成现实，符号处理从此有了顺手的工具，此后数十年它是 AI 研究的主力语言之一，也影响了一批后来的编程语言。今天研究者的主力语言换成了 Python，但你在 DeepSeek 或 Kimi 里让模型「按步骤推理」，这类把思考过程写成明确步骤的做法，与符号推理传统仍有源流关系。
1962 年起：斯坦福与实验室建制
1962 年麦卡锡转到斯坦福大学，创建了斯坦福人工智能实验室（SAIL）并长期主持，实验室与麻省理工学院的对应机构共同构成 AI 研究的两大重镇。他的研究主张偏向用逻辑与符号方法表达常识知识，提出了「情境演算」等形式化工具，此后多年仍在推进非单调逻辑等方向。这些主张与连接主义路线长期并行，两条线的消长构成了学科前几十年的基本格局，AI 寒冬一篇记录过这段起伏。
麦卡锡公开记录速查
- 1955：达特茅斯提案主笔，「人工智能」命名成形
- 1956：达特茅斯会议召开
- 1960：发表 LISP 语言设计论文
- 1962：创建斯坦福人工智能实验室（SAIL）
- 1971：获图灵奖（公开颁奖理由指向人工智能领域贡献）
「命名」在学科史上意味着什么
一门学科在拥有名字之前，研究者散落在数学、工程、心理学各处，评审、经费、师承都挂在别人的名下；命名之后，独立的会议、期刊与职位序列才有了挂靠处，成果与失败能被记在同一个账本上。麦卡锡的公开贡献可以概括为三件：起了名字、给了工具（LISP）、建了机构（SAIL），加上 1971 年图灵奖的公开记录。今天大模型时代的研究者——从辛顿那条连接主义线上的学者（可见辛顿一篇），到 DeepSeek、Kimi、豆包背后的工程团队——都工作在这个命名划定的版图之内。你今天让豆包「帮我写个函数」，工具链的源流之一正是 LISP 所代表的符号传统。
| 公开贡献 | 具体是什么 | 在学科史上意味着什么 |
|---|---|---|
| 起了名字 | 1955 年提案主笔，artificial intelligence 一词用于命名 | 独立的会议、期刊与职位序列有了挂靠处 |
| 给了工具 | 1960 年发表 LISP 语言设计论文 | 符号处理有了顺手的工具，此后数十年是研究主力语言 |
| 建了机构 | 1962 年创建斯坦福人工智能实验室 SAIL | 与麻省理工的对应机构共同构成两大重镇 |
关于麦卡锡的常见疑问
- 「人工智能之父」是官方头衔吗？：不是官方授予的职位，是学界与公开资料里流传的称呼，对应他命名学科、创建机构与获图灵奖等公开事实。
- LISP 现在还有人用吗？：部分方言至今仍在特定行业软件中使用，AI 研究的主力语言已换为 Python；LISP 的历史影响大于当下的使用占比。
- 他在 1956 年会议上做了什么？：作为提案主笔参与组织会议，与会记录显示讨论围绕自动机、神经网络与语言计算展开；会议的预期与实际产出之间有差距，具体经过可见达特茅斯会议一篇。
