前面几问,我们已经反复撞到同一件事:预测得准、答得对,和理解了,看起来不是一回事。但每一次都是从远处说的。这一问要走到近处,看一个具体的场景:有人给出了正确答案。学生答对了题,医生说对了病,机器给出了正确的回答。
能给出正确答案,就意味着真正理解了吗?
这个问题在学校里就存在,只是过去我们很少认真对待它,因为答对的通常是人,而人答对了,多半是懂了。现在答对的可能是一个我们不知道它懂不懂的东西。
一满分的卷子
每个老师都见过这样的学生:公式背得滚瓜烂熟,题型见过就会,考试拿满分,换一种问法就不会了。我们说他“没有真正理解”。这句话说出口的时候,我们其实已经默认了一件事:答对和理解之间有一道缝,而且这道缝在答对的那一刻是看不见的,只有在换一种问法的时候才显出来。

那么理解多出来的那部分是什么?是能迁移?是能解释?是知道为什么?还是某种更难说清的东西,一种“看见”了这道题的感觉?这一问的所有争论,都在猜这道缝里装的是什么。
二柏拉图:正确的意见会跑掉
苏格拉底在《美诺篇》里承认了一件让人不舒服的事:一个只有正确意见的人,和一个真正知道路的人,一样能把你带到拉里萨。就效果而言,答对与知道没有区别。区别在后面:正确的意见像代达罗斯的雕像,不拴住就会跑掉,把它拴住的,是对原因的说明。
这是关于这个问题最早也最清楚的表述。答对是结果,理解是把结果固定下来的东西。没有理解的正确,是暂时的、脆弱的、换个情境就会跑掉的。这个判断在两千年后仍然是我们区分“背会了”和“学会了”的依据。
三莱布尼茨的磨坊
莱布尼茨设想一台能思考、能感觉的机器,把它放大到可以像磨坊一样走进去。走进去之后,我们只看见零件互相推动,找不到任何可以叫作知觉或理解的东西。

这个论证不针对机器,它针对任何机械解释:无论零件怎样组合,理解似乎不在零件里。三百年后,人们打开神经网络想看看它是否理解,看见的仍然是权重推动权重。磨坊论证提醒我们,即使我们能打开箱子,也未必能在里面找到理解,因为理解可能根本不是那种能被找到的东西。
四图灵:别问里面,看表现
图灵在一九五〇年做了一个关键的替换。“机器能思考吗”太含糊,他把它换成一个可以判定的问题:只看文字回答,审问者能否分辨对方是机器。分辨不出,我们就没有理由拒绝说它在思考。
这个替换把“理解”从内部搬到了外部:答得对、答得像,就够了。它非常实用,因为内部我们本来就看不见,连对别人的内部我们也看不见,我们判断别人理解了,靠的从来都是表现。图灵的问题是,如果对人我们只要求表现,凭什么对机器要求更多?
五中文房间:按规则搬符号
塞尔在一九八〇年给了图灵一个著名的回答。设想他被关在一个房间里,不懂中文,却按一本规则手册处理递进来的中文字条,递出去的回答让外面的人相信房间里有人懂中文。塞尔说,他一个字也不懂。程序处理的是句法,理解需要语义,而句法不足以产生语义。

中文房间成了“答对不等于理解”的标准图像。它也招来了几十年的反驳,最有力的一种是:理解的不是房间里的人,而是整个系统,人加手册加房间。塞尔回答说,就算把手册全背下来,他还是不懂中文。争论到今天没有结束,但它把问题钉在了一个位置上:正确的输出,可以由一个完全不知道自己在说什么的过程产生。
六没有身体的专家
德雷福斯从另一个方向批评早期人工智能。人类专家的理解不是在头脑里执行规则,而是一种在世界里熟练应对的能力。棋手看一眼棋盘就知道哪里危险,不是因为算得快,而是多年的经验让局面直接显现为危险。这种“看见”依赖身体、依赖处境、依赖曾经输过的棋。

一个没有身体、没有处境的系统可以算出正确的棋步,甚至比人算得好。但它没有那种看见。德雷福斯的预言在棋类上被证明是错的,机器下棋赢了人;但他的论点并没有因此消失,它只是换了一个问法:赢了棋,就理解棋了吗?
七词的那根线,系在哪里
哈纳德把问题说得更具体。如果你只有一本中文字典,每个词都用别的词解释,你能学会中文吗?符号必须在某处接到非符号的东西上,接到感知和行动上,否则整个系统只是符号在符号之间打转。他把这叫符号接地问题。

这比中文房间更实在。它不说机器不能理解,它说理解要求词与世界之间有一根线。一个只见过文字的系统,它的每个词都连着别的词,但没有一个词连着一个真实的苹果。它可以正确地说苹果是红的、是甜的、会落地,因为文字里都这样写。它答对了,可它的“苹果”那根线,另一头是空的。
八海底的章鱼
本德和科勒在二〇二〇年讲了一个新的寓言。一只海底的章鱼偷听两个岛民通过电缆的对话,久而久之,它能模仿其中一个人回话,另一个人毫无察觉。直到有一天,岛民遇到一头熊,向对方求助怎么做武器。章鱼只能拼凑出听起来像回答的话,它从未见过椰子,不知道熊是什么。

他们的结论是:只接触语言形式的系统,原则上学不到意义,因为意义是形式与世界之间的关系。答对,只是形式对上了。这个寓言写在大型语言模型爆发的前夜,它成了此后几年最常被引用、也最常被反驳的论证。反驳者说,文字里已经包含了足够多关于世界的结构,章鱼未必学不到熊是什么。谁对,至今没有定论。
九丹尼特:也许理解只是一种立场
丹尼特提供了一种让问题变得可以处理的办法。我们说一个系统有信念、有理解,是采取了一种解释立场,因为把它当作理解者来预测它的行为最省力、最准确。对恒温器我们不必这样做,对棋程序有时需要,对人几乎总是需要。

按这个看法,“它真的理解了吗”可能没有一个独立于解释的答案。如果把它当作理解者能最好地预测它,那么在我们能说的一切意义上,它理解了。很多人觉得这取消了问题。但它至少解释了一件事:为什么面对一个总是答对的系统,我们会情不自禁地说它“懂了”。那不是我们看见了它的内部,那是我们的预测方式在起作用。
十人自己也常常答对而不懂
公平地说,这道缝不只存在于机器身上。学生背公式,鹦鹉学舌,考试技巧,都是答对而不懂。费曼讲过巴西的物理系学生,能一字不差地背出“布儒斯特角”的定义,却不知道窗外的海面反光就是那回事。人类的理解也常常是半接地的:词连着词,只有一部分连着世界。
这提醒我们,“理解”不是有或没有的开关,它更像一个程度:有多少词接到了东西上,有多少答案能迁移到新的问法,有多少结果能被固定住不跑掉。人和机器的差别,也许不在有没有,而在多少、在哪里。
十一它错的时候,错得不像人
如果理解是程度,我们就需要一个办法量它。答对的时候看不出来,前面已经说了。看得出来的,是错的时候。一个理解了的人,错也错得有道理:算错一步、记错一个数、漏了一个条件。一个没有理解的过程,错得没有形状:在一道简单题上突然崩溃,被一个无关的词带偏,在两个几乎一样的问题上给出相反的答案。

这也许是这一问在 AI 时代最有用的转向。不要问它答对时懂不懂,那看不见;看它怎么错。错误的形状,暴露的是答对时藏起来的过程。一个系统错得越像人,说明它固定答案的方式越接近我们所谓的理解;错得越离奇,说明正确只是碰巧对上了形式。
十二所以,答对了,就意味着理解了吗?
不意味着,但这个否定需要说清楚在否定什么。答对是理解的证据,不是理解本身;理解多出来的那部分,是能把答案拴住的东西:原因、迁移、词与世界之间的线、在新情境里的看见。柏拉图、莱布尼茨、塞尔、哈纳德、本德,各自指出了这根线可能断在哪里;图灵和丹尼特则提醒,我们对别人的理解,判断的依据也从来只是表现。
AI 把这道缝变成了每天要面对的东西。它答对的时候,我们无法判断;它错的时候,我们才看见它的过程长什么样。而这引出了一个更深的怀疑:我们之所以觉得它像在理解,会不会是因为它说的是我们的语言?语言本身,是不是已经在替它思考,也在替我们思考?
下一问 · Ⅱ·06语言塑造了我们能够怎样思考吗?→
