IT 论文精读 · PAPER 47
Alan Turing · Mind 期刊 · 1950
1950 年,阿兰·图灵(Alan Turing)——那个提出「图灵机」、破解二战密码的数学家——写了一篇发在哲学杂志上的文章,开头就问:「机器能思考吗?」但他没有去争「思考」到底是什么,而是把这个吵不出结果的问题,换成了一个能真刀真枪做的游戏——今天所有人都叫它图灵测试。ChatGPT 出来后大家天天问「它到底懂不懂」,其实还在用图灵七十多年前定下的问法。
「机器能思考吗」听着清楚,其实答不了:因为「思考」谁也说不明白,争到最后都是各说各的定义。图灵的绝招是绕过定义、只看表现:别问它「心里」有没有在想,就看它做出来的事你能不能跟人区分开。分不出,就没理由说它不会思考。
三方参赛:一个裁判、一台机器、一个真人。机器和真人都藏起来,只能隔着屏幕打字跟裁判聊(这样声音、长相都不算数,只比「谈吐」)。裁判随便问什么,拼命想揪出哪个是机器;机器则拼命把自己装成人。如果裁判经常分不出来,我们就说这机器通过了测试。图灵还大胆预言:到 2000 年,机器能骗过普通裁判、让他五分钟里有三成时候认错人。
图灵还想得更远:想直接编出一个「成年人的聪明大脑」太难了。不如造一个「小孩机器」,再像教孩子一样去教它、用奖励和惩罚让它自己从经验里学。学到最后,就长成一个成人的心智。这个「先做个能学的、再慢慢教」的思路,正是今天机器学习的雏形——七十年前就被他一句点破。
「图灵测试」从此成了衡量机器智能的文化标尺;而「与其硬编、不如让它学」的路线,成了现代 AI 的主干道。一篇没有一行代码的哲学文章,给整个人工智能立了地基。
一句诚实话:会聊天不等于真懂。后来一个只会套模板的小程序(ELIZA)也骗过了不少人,于是有人质疑:图灵测试量的到底是机器的智能,还是人类有多容易被糊弄?
图灵把没法回答的「机器能思考吗」换成一场能做的游戏:让机器和人隔屏打字聊天,裁判分不出谁是机器,就算它会思考——把玄学问题变成看得见的行为测试;他还预言「先造小孩、再教育它」才是通往机器智能的路。这两个点子,一个成了 AI 的试金石,一个成了机器学习的先声。
想看模仿游戏的完整设定、图灵对九种反对意见的回应,和后世的争议? → 切到精读版
图灵把无法验证的形而上问题「机器能思考吗」替换成一个可操作的行为测试——模仿游戏(imitation game),即后来的图灵测试:若裁判隔着电传打字机与一台机器和一个真人交谈、却无法可靠地把机器认出来,我们就没有理由否认这台机器「会思考」。他进一步逐条驳倒了九种反对意见,并提出一条通往机器智能的具体路线——不要直接编写成人心智,而是造一台「小孩机器」再教育它,这被视为机器学习、强化学习与进化计算的思想先声。
作者阿兰·图灵,文章 1950 年 10 月发表于哲学期刊《Mind》(不是技术刊物)。此时距他 1936 年奠定「可计算性」与通用机、以及二战布莱切利园破译密码,已过去十余年;世界上第一批可编程电子计算机刚刚出现。它上承图灵自己的通用机思想,下启 1956 年达特茅斯会议(「人工智能」一词在那里诞生)——本文比那还早六年,是 AI 领域公认的哲学与目标的起点文献。
图灵开篇就说:「我打算考虑一个问题——机器能思考吗?」但他立刻指出这个问法有毛病:要回答它,就得先给「机器」和「思考」下定义,而这两个词的含义只能靠调查普通人怎么用它们来定,最后必然沦为「统计谁投票认为机器在思考」的口水仗——荒谬且不可能有定论。
当时的争论正卡在这里:一派坚信机器不过是没有灵魂、没有意识的铁疙瘩,谈何思考;另一派则语焉不详。双方都在争「思考」的本质,而本质根本无法验证——你甚至没法证明别人真的在思考,凭什么用更高的标准要求机器?图灵要做的,就是把这个死结从「本质之争」拆成「一个能实际判定的问题」。
图灵的第一步棋,是换一个问题——一个和原问题「密切相关、却能明确表述」的问题。他从一个客厅游戏讲起:一名男子(A)、一名女子(B)藏在另一个房间,裁判(C)通过打字条向两人提问,任务是判断谁是男谁是女;A 想方设法误导裁判、B 则努力帮裁判判断正确。然后图灵抛出关键一问:「如果让一台机器来充当 A,会怎样?」裁判认错的频率,会不会和「男女对局」时一样高?
去掉这层原始的性别外壳,它就成了今天人人皆知的图灵测试:裁判隔着电传打字机,同时与一台机器和一个真人交谈,努力分辨哪个是机器;机器则努力伪装成人。如果裁判无法比「瞎猜」更可靠地把机器揪出来,我们就应当承认这台机器「会思考」。
这一步的深意在于把不可验证的「思考本质」换成了可观测的「谈吐表现」——一种行为主义的判据。它有三重好处:其一,只比谈吐、不比外貌与嗓音,把「思考」与「长得像人」彻底分开;其二,问题的范围不设上限——裁判可以问诗歌、算术、下棋、聊天气,几乎无所不包;其三,它把举证责任翻转了:你若坚持机器不会思考,就得说清它到底在哪一句话上露了马脚。图灵不是在定义「思考是什么」,而是在给「我们何时该承认它思考」立一个可执行的标准。
换题之后,图灵预演并反驳了九种「机器不可能思考」的论点,这部分构成全文的说理主体。最有分量的几条是:
其余几条——神学反对(思考是灵魂专属)、「鸵鸟」反对(机器会思考太可怕、但愿它不能)、神经系统的连续性、行为的不可形式化、乃至他半认真讨论的超感官知觉(ESP/心灵感应)——图灵也一一作答。这一整节的锋芒是一致的:几乎所有「机器不能思考」的断言,要么建立在对人类自身的过度自信上,要么建立在对机器的狭隘想象上。
全文最有前瞻性的,是结尾的学习机器一节。图灵算了一笔账:直接编写一个成人心智,工程量大得吓人。他转而提议:「与其编程序去模拟成人的心智,为何不去模拟孩子的?再给它一套合适的教育,不就得到了成人的大脑?」
他把这个方案拆成三块:初始状态(出厂时的「小孩机器」)、教育过程(老师用奖励与惩罚去训练它)、以及其他经验。他甚至给出了一个近乎进化算法的类比:把小孩机器的结构看作遗传物质、对它的改动看作变异、实验者的取舍看作自然选择——让好的变体留下来。他还建议在学习中掺入随机成分。
这段话在 1950 年近乎科幻,却精准预言了此后 AI 的主干道:智能不必被完整地手写出来,它可以被「学」出来。今天从深度学习的梯度训练、到强化学习的奖惩、到进化算法,全都能在这一节里找到影子。
这是一篇哲学论证文,没有实验、没有数据集——它的「结果」是一套思想框架与一个大胆预言。图灵预测:约五十年后(即 2000 年前后),可以给存储约 10⁹ 比特(约合今天一百多 MB)的计算机编程,让它把模仿游戏玩得足够好,使普通裁判在五分钟提问后、正确识别的概率不超过 70%(即被机器骗过约三成)。他还预言,到那时人们对语言与观念的用法会大变,以至于「谈论机器会思考而不会被反驳」。他甚至粗估了工程量:「按我现在的速度每天能写约一千位程序,六十个人稳定干五十年,也许能完成。」这些数字与其说是精确预测,不如说是把一个哲学立场落到可讨论的量级上。
它的影响力远超一篇论文:「图灵测试」成了机器智能的文化图腾,几乎每一本 AI 教科书、每一次「机器是否真懂」的公共辩论都从它讲起。更深层的贡献有两点:其一,它为一门尚未诞生的学科定下了可操作的目标与判据——六年后达特茅斯会议才把这门学科命名为「人工智能」;其二,「学习机器 / 小孩机器」一节提前半个世纪指出了「让机器自己学」这条正确路线。它也把「智能」的讨论从神学与形而上学,硬生生拽进了工程与科学可以着手的领域。1966 年的聊天程序 ELIZA、1991 年起的 Loebner 奖竞赛,乃至今天的大语言模型评测,都是它投下的长影。
① 一句话:把无法验证的「机器能思考吗」,替换成可操作的行为测试「模仿游戏 / 图灵测试」——裁判隔屏聊天分不出机器,就算它会思考。
② 动机:「思考」的本质无法验证,连「别人是否在思考」都证不了,用更高标准苛求机器不公平;图灵把「本质之争」拆成「一个能判定的问题」。
③ 机制:机器与真人隔电传打字机受裁判盘问,只比谈吐、不比外貌嗓音;机器伪装成人,裁判揪不出即算通过。判据把举证责任翻转给了否定方。
④ 说理主体:逐条驳倒九种反对——数学(哥德尔)、意识(反唯我论)、洛夫莱斯(机器能带来惊喜)、各种「永不能 X」等,锋芒直指人类对自身的过度自信。
⑤ 最前瞻的点子:与其硬编成人心智,不如造「小孩机器」再用奖惩与经验教育它,掺入随机、按进化式取舍——机器学习 / 强化学习 / 进化计算的先声。
⑥ 预言:约 2000 年,10⁹ 比特的机器能让普通裁判五分钟后误判约三成;届时「机器会思考」将不再被反驳。
⑦ 影响:为尚未命名的 AI 立下目标与判据(早达特茅斯会议六年),成为机器智能的文化图腾。
⑧ 局限:中文房间指出「会装≠真懂」;测的是「像人」乃至「人多好骗」(ELIZA 效应)而非智能本身;范围窄、拟人化;或许本就是终止争论的修辞而非定义。