正文
看到这里你肯定会说:如果是真的“一模一样”,当然确实无法判断。可是世界上不是没有绝对的一模一样吗?注意,普特南首先是名数学家,数学家对“一模一样”的定义是:两者间差别无限小。“无限小”就是不论最小,只求更小。翻译成日常语言,就是说所谓一模一样就是追求瓮中的感觉与在真实世界间的不断逼近,使人的怀疑越来越少。不断逼近在理论上不是问题,因为技术总是会一个版本接一个版本地改进。只要你在瓮中能找到缺陷,产生怀疑,人家技术服务部门总能给你一个满意的改善,消除你的怀疑。现在世界上不论啥理论,只要数学家说靠谱就靠谱。普特南的理论有数学垫底,肯定是攻不破的。所以多年以来大家虽然觉得普特南的理论难以下咽,却都认为是这么个道理。
这种看似胡搅蛮缠的理论与现实有关联吗?关系太密切了。举个帝都房地产疯狂(maniac)的例子:老妈去世,儿子想继承那8平米的斗室。学区房,能卖800万,价值太高,需要慎重。于是有关部门说,你去开个证明,证明“你妈是你妈”。这怎么能证明?任何人肯定没有真的见过老妈生自己的场景。但是,现在有产妇临盆时的录像啊,大家都认为录像虽是间接的,但好在技术是可靠的。人能间接提供自己诞生的场面,证明就接近了一步。又怎样证明那个刚出生的婴儿和现在这个胡子拉碴的老头是同一个人呢?于是他找出从小到大的一系列照片,每两张之间都很像,每张照片都有日记当作旁证,照片中的背景也与其他人的照片互相验证。以此类推也找到老妈从小到大的照片、日记和邻居证词。这就是所谓的“证据链”。当证据链完美到所有人通过逻辑推理都没有怀疑的时候,就达到了所谓无限逼近,“你妈是你妈”了。
我们之所以认为世界是真实的,正是因为有从古到今、上天下地、物理数学等一系列证据链层层叠叠着互相印证。但是,
所有的客观证据链都是间接的
:照片是投影在纸上的,证词是别人的经验。普特南说,如果你不愿接受间接的证据,那你就不能证明丘吉尔也真正存在过;如果你接受间接证据,那么照片、音频、录像都可以伪造。而人工智能的内存足够大,逻辑性也足够强——可以在瓮中造成所有虚拟的证据链,无论天文地理、物理定律,分毫不差。人类是不是过不了这个坎了?
利用证据链让人类消除怀疑的过程,叫做“广义图灵测验”(Turing test)。图灵测验已经被很多人科普过,就是让人类在网上与计算机聊天,提各种刁钻古怪的问题。如果计算机都能妥善回答,让所有人都不能判断聊天对象是人工智能还是人类网红时,计算机就算是通过了图灵测验。而广义的图灵测验不再仅限于与计算机打情骂俏,而是是人与机之间的斗心眼,看看谁更像人。作为人类,优越感总是很强烈的。我们假定自己在现实生活中打拼,积累了各种知识经验,而计算机只是人写的程序,日常经验远不如人,所以当面对一些刁钻问题时,人类能坦然面对,而计算机就会露馅。
今天的互联网在大量应用着图灵测验。不但人要测验对方是不是计算机,而且计算机也需要测验对方是不是人。为了防止计算机自动注册僵尸账号,需要让每个人类注册者填写验证码,比如让人看一个稀奇古怪的图像,然后把图中扭曲的字母和数字填在下面的格子里(下图)。这种广义图灵测验的前提是假设计算机在图像识别方面不如人类。如果计算机能通过这种图灵测验,互联网上绝大多数用户就会是僵尸,人类在网上能发现另一个人类都很难。
各种网站用于防止计算机僵尸注册用的“CAPTCHA”码。CAPTCH是“全自动产生的公用图灵测验以便区分人和计算机”的缩写。主旨是生成对人类容易、对计算机很难的测试。CAPTCH也被称作计算机测验对方是否是人类的“反向图灵测验”
[3]
。
几十年前,普特南已经透过历史迷雾看到今天,用扩展的图灵测验来支持他“瓮中之脑不可辨”的理论。普特南的广义图灵测验就是“证据链的图灵测验”(Turing test for reference),其过程就是穷尽一切办法进行考察,消除所有疑问,证明“苹果树是真的”,“你妈是你妈”。
看破脑在瓮中的唯一希望是利用大脑在入瓮之前在现实世界中的大量经验,并利用这些层叠的证据链对控制脑的计算机进行图灵测验。
如果计算机能通过测验,人类就不可能破瓮而出。普特南作为哲学家并不考虑技术层面的问题,因此认为计算机通过瓮中脑的图灵测验并无理论障碍。虽然过去不断有人对此怀疑
[4]
,但随着技术进步,怀疑应该不断减少。下面用两个例子说明一下今天的图灵测验,其技术进步是普特南时代难以预料的。