McCarthy 最常指的是 John McCarthy（约翰·麦卡锡），他是“人工智能”一词的提出者、Lisp 编程语言的发明人，被誉为人工智能学科的奠基人之一。1971 年图灵奖得主、斯坦福大学 SAIL 实验室创始人，他关于符号主义 AI 与常识推理的研究至今仍是学界讨论的参照系。
McCarthy 思想的当代回响
近年来，随着大语言模型与智能体的兴起，学界重新审视 McCarthy 时代的经典命题。他所倡导的“常识知识表示”和“情境演算”被不少研究者拿来与当前基于神经网络的路线对比：当年符号路线的困难，是否正被以另一种方式绕开或解决，仍是争论焦点。
McCarthy 与 Lisp 的工程遗产
McCarthy 在 1958 年前后设计的 Lisp 语言，至今通过 Common Lisp、Clojure、Scheme 等方言活跃在工程实践中。递归、垃圾回收、REPL 交互式开发等由 Lisp 早期实现所普及的概念，已经成为现代编程语言的标准配置。
当前焦点与观察点
围绕 McCarthy 的公共讨论主要落在三个层面：其一，AI 历史叙事的修正——达特茅斯会议（1956 年，McCarthy 主导发起）常被视为 AI 诞生的标志，但会议本身并未产出预期成果，历史学界的评价趋于务实；其二，符号主义与联结主义路线之争的重新升温，让他的理论工作获得新语境；其三，在 AI 安全与“可解释、可验证智能”讨论中，形式化方法的支持者时常回溯 McCarthy 关于程序正确性与常识逻辑的论述。
对普通读者而言，理解 McCarthy 的价值不在于怀旧，而在于看清当前这轮 AI 浪潮在整个学科七十年历史中的位置：今天大模型解决的许多问题，与 McCarthy 当年定义的问题清单高度重合，只是技术路径已经完全不同。