提到 AI，绕不开的第一个名字是图灵。计算领域的公认荣誉以他命名，学界讨论机器智能至今仍回到他 1950 年的提问方式。他的公开学术记录集中在几条清晰的线索上：1936 年的可计算性论文、战时的密码破译工作、1950 年的机器智能论文，以及 1952 年的形态发生研究。把这些线索按时间摆开，就能看清这位人物为什么长期被视为学科的起点。
1936 年：什么是可计算的
图灵的第一条线索是数学。他在 1936 年发表论文《论可计算数及其在判定问题上的应用》，提出一个极简的抽象装置——图灵机：一条纸带、一个读写头、一组改写规则。用这个装置，他把「哪些问题原则上能被机械步骤解决」变成可严格讨论的问题，并给出结论：存在不可判定的命题，停机问题就是一例——不存在通用算法判定任意程序是否会停机。
这件事对 AI 的意义在边界：任何电子计算机，包括今天跑大模型的机器，在能力上都落在这套可计算性框架之内。学科所有后来的讨论，都发生在他划定的场地上。
战时：密码破译的工程现场
第二次世界大战期间，图灵在布莱切利园参与密码破译工作，这是公开记载的史实；他与同事改进了用于攻击恩尼格玛密码的「炸弹机」设计。这段经历与 AI 的关联在性质而非细节：它把「推理」落成了一套可执行的机械流程——符号、规则、步骤，缺一样都不转。可计算性论文里的抽象模型，在这里被放进了现实的工程现场。这条「把思考变成流程」的路线，与后来深蓝那样的搜索系统一脉相承，可对照深蓝赢卡斯帕罗夫一篇。
1950 年：把「机器能思考吗」换成模仿游戏
1950 年，图灵在哲学期刊《心智》发表《计算机器与智能》，用「模仿游戏」替换「机器能思考吗」这个无法操作的问题：如果一台机器在隔屏对话中让人分辨不出它与真人，我们该把它算作能思考的。论文同时逐条回应了当时的反对意见。五年后，达特茅斯会议把「人工智能」定为学科名称，会议提案的署名人香农与会议主笔麦卡锡都熟悉这篇论文的思路，可见香农一篇与麦卡锡一篇的梳理。图灵测试是怎么提出来的一篇拆过模仿游戏的原始设计与常被误读的点，两篇对照着读更完整。
1952 年：条纹与斑点的方程
图灵最后一条公开线索在生物学。1952 年他发表《形态发生的化学基础》，用反应扩散方程说明：两种化学物质相互作用，可以从均匀状态里自发长出条纹、斑点这类图案。论文属于数学生物学，与计算机相距很远，但它演示了一件与 AI 同构的事——简单规则的局部相互作用，能生成复杂结构。今天神经网络从简单单元涌现出复杂能力，思路与之呼应。
图灵公开线索速查
- 1936：《论可计算数》，图灵机与可计算性框架
- 1939-1945：布莱切利园，参与恩尼格玛破译工程
- 1950：《计算机器与智能》，模仿游戏问世
- 1952：《形态发生的化学基础》，反应扩散方程
- 1966 年起：ACM 设图灵奖以他命名
三条线索为什么都算学科起点
这些公开成就分属数学、工程、哲学、生物四个领域，合起来指向同一个方向：用形式化方法接管原本只属于人的领域。可计算性给出能力边界，密码破译验证工程可行性，模仿游戏给出可操作的检验思路，形态发生展示简单规则生成复杂结构。今天你与 DeepSeek 或 Kimi 对话，底层仍跑在图灵机等价的计算模型上；有人拿豆包复述模仿游戏规则来设计小测试，也是这条线在今天的延续。学科的正式命名与组织化要等达特茅斯提案，达特茅斯会议为什么被视为 AI 起点一篇有完整经过。
| 年份 | 成果 | 给学科留下了什么 |
|---|---|---|
| 1936 | 《论可计算数》 | 可计算性框架，划出能力边界 |
| 1939–1945 | 布莱切利园参与恩尼格玛破译 | 把推理落成一套可执行的机械流程 |
| 1950 | 《计算机器与智能》 | 模仿游戏，一个可操作的检验思路 |
| 1952 | 《形态发生的化学基础》 | 简单规则生成复杂结构 |
关于图灵的常见疑问
- 图灵测试这个词是他自己起的吗？：不是。1950 年论文里叫「模仿游戏」，「图灵测试」是后人给这个方法的通行称呼，纪念他的提出之功。
- 图灵奖是图灵本人设立的吗？：不是。它由 ACM 于 1966 年设立，以图灵命名以纪念其奠基性贡献，通常被视作计算领域的荣誉。
- 他对 AI 的直接贡献是什么？：给出了可计算性的数学框架，并把「机器能否智能」改写成可检验、可讨论的问题；学科的名称与建制来自后来的达特茅斯提案，问题清单则源自他。
