清明,烧Token,祭图灵
STORY
清明烧 Token,祭图灵,人工智能之父
他定义了三件事:计算、智能、如何训练
今天我们用 AI 写的每一行代码、生成的每一张图、完成的每一次对话,烧的都是他点的火
他定义了什么是「计算」
1936 年以前,computer 这个词指的是人。政府机构雇了一批年轻人,每天拿着铅笔和纸,按公式一步步算数。职位就叫 computer,计算员
图灵 24 岁,在剑桥。他想搞清楚一件事:「计算」到底是什么
他就去观察那些计算员。一个计算员的全部动作拆到最细,就三样东西:一张纸,一支笔,一套规则。从左往右读数字,按规则写下新的数字,偶尔回头检查前面写的
图灵把这个过程抽象成了一台机器:一条无限长的纸带代替纸,一个读写头代替笔,一张规则表代替人脑。读写头在纸带上来回移动,按规则读、写、擦
就这么个东西。后来叫「图灵机」
然后图灵证明了:任何一个计算员能算的东西,这台机器都能算。同时也存在一些问题,这台机器算不了,不管你怎么设计规则都算不了
这台机器从来没被造出来。但 90 年过去了,你手里的 iPhone,训练 GPT-4 的几万张 H100,在计算能力的理论上限上,和这台纸上的机器一样
没有任何一台真实的计算机,超过了一个 24 岁的人在纸上画的东西
NVIDIA RTX 20 系列 GPU 的架构代号,就叫 Turing
他定义了什么叫「智能」
1950 年,图灵在一本哲学杂志上发了一篇论文,第一句话:机器能思考吗
当时没人当回事。反对的理由什么都有:机器没有灵魂所以不能思考,机器只能按指令干活所以没有原创力,机器不会悲伤不会写诗不会爱上一个人。一百年前计算机先驱 Ada Lovelace(拜伦的女儿)就说过:机器永远只能做人类命令它做的事
图灵在论文里逐条回应。但他知道争论「什么是思考」会没完没了
所以他做了一件聪明的事。跳过定义,直接设计了一个游戏
规则很简单:一个裁判同时跟两个对象文字聊天,一个是人,一个是机器,裁判不知道哪个是哪个。分不出来,就算机器有智能
后来叫「图灵测试」
他把一个没法回答的哲学问题,变成了一个可以动手做的工程问题
图灵顺手做了个预言:2000 年左右,一台 1GB 内存的计算机,在五分钟对话中骗过 30% 的裁判,完全可能
GPT-4 和 Claude 已经远超这个标准。他的时间线只差了 20 多年。内存的预估倒是出奇地准
他定义了怎么「训练」
同一篇论文里,图灵写了一句:与其编程一个成年人的大脑,不如先造一个小孩,然后教他。做对了给奖励,做错了给惩罚,让它自己摸索出规律
今天大模型就是这么练的。海量数据喂出基础能力叫预训练,人类反馈把它调准叫 RLHF。这套逻辑,1950 年写下的
图灵不是只写论文的人。他动手
1948 年,他和朋友 David Champernowne 写了一个国际象棋算法,两个人的姓拼在一起,取名「Turochamp」。算法能评估局势,计算得失,选出最优走法
问题是当时没有计算机能运行它
图灵就自己当计算机。拿着纸和笔,按算法一步步手算每一步棋。每步要算半小时
1952 年夏天,他用这种方式和同事 Alick Glennie 下了一盘完整的棋。图灵扮演计算机,纸笔算,Glennie 正常下。棋谱完整记录了下来
图灵输了。但这是有记录以来,人类第一次和「程序」对弈
同一时期,他写了一篇论文叫《智能机器》,系统讨论了神经网络、学习机器、遗传算法。上司读完评价:小学生论文。压下不发
那篇论文 20 年后才面世。今天看,是人类最早系统讨论 AI 的文件之一
一个人干完了三件事
定义计算的边界,定义智能的标准,定义训练的路线
「人工智能」这个词 1956 年才被发明出来。图灵 1954 年去世,没等到命名的那天
1966 年,ACM 设立了「图灵奖」,计算机领域的诺贝尔奖。2018 年颁给了 Hinton、LeCun、Bengio,理由是深度学习
用他名字命名的奖,颁给了让 AI 真正跑起来的人。从命名到兑现,隔了半个世纪
那个苹果
1938 年秋天,26 岁的图灵和朋友去看了迪士尼的《白雪公主》。邪恶女巫把苹果放进毒汤,念着:「让苹果浸满这汤,渗入沉睡与死亡」。他对这段台词念念不忘
1954 年 6 月 7 日,曼彻斯特。女管家推开卧室门,床头放着一个咬了一口的苹果,浸过氰化物
他 41 岁。两年前因为私人生活被定罪,被迫接受了一年的强制激素注射。一个帮英国赢了二战的人,被这样对待
后来,苹果公司 Logo 被传是纪念图灵。设计师否认了。但乔布斯说了一句:
God, we wish it were. It's just a coincidence.
我希望是真的

2008 年 WWDC
2008 年 WWDC,乔布斯请了个 23 岁的年轻人上台演示 App Store 应用。那人叫 Sam Altman。后来他创建了 OpenAI,OpenAI 又走出来七个人做了 Claude
往回看这条线:Claude → OpenAI → Sam Altman → 苹果的舞台 → 被咬了一口的 Logo → Alan Turing
说起来,图灵、苹果掌门人 Tim Cook、OpenAI 的 Sam Altman,这三个人还有一个共同点。你猜是什么?
从罪犯到钞票
2009 年,英国首相代表政府正式道歉
2013 年,女王签署皇家赦免令
2017 年,「图灵法案」通过,追溯赦免所有因同样原因被定罪的人
2021 年,图灵被印上了新版 50 英镑纸币
从罪犯到钞票,69 年
清明,去用 AI 创造点什么吧
