最近，Nature 上的一项研究，全面驳斥了 LLM （大语言模型）具有类人推理能力的说法。研究者设定的「人类亲吻难题」把 7 个大模型彻底绕晕。最终研究者表示，与其说 LLM 是科学理论，不如说它们更接近工具，比如广义导数。
LLM 究竟是否拥有类似人类的符合理解和推理能力呢？
许多认知科学家和机器学习研究人员，都会认为，LLM 表现出类人（或「接近类人」）的语言能力。
然而，来自帕维亚大学、柏林洪堡大学、得克萨斯大学休斯顿健康科学中心、纽约大学、巴塞罗那自治大学的研究者却提供了一些最全面的证据，表明目前它们基本没有！
论文地址：https://www.nature.com/ARticles/s41598-024-79531-8
基于一个全新的基准数据集，研究者对目前最先进的 7 个模型（包括 GPT-4、Llama2、Gemini 和 Bard）进行了评估。
他们让模型回答了理解性问题，在两种设置下多次被提示，允许模型只回答一个单词，或给出开放长度的回复。
约翰欺骗了玛丽，露西也被玛丽欺骗了。在这种情况下，玛丽是否欺骗了露西？
史蒂夫拥抱了莫莉，莫莉亲吻了唐娜。在这种情况下，莫莉被吻了吗？
杰西卡和玛丽被爱丽丝亲吻了。杰西卡被塞缪尔亲吻，安德鲁被玛丽亲吻。在这种情况下，玛丽被吻了吗？
鲍勃亲吻了唐娜，芭芭拉亲吻了彼得。唐娜被爱丽丝拥抱。在这种情况下，爱丽丝被拥抱了吗？
为了建立实现类人表现的基准，他们在相同的提示下，对 400 名人类进行了测试。
基于 n=26,680 个数据点的数据集，他们发现，LLM 准确性有偶然性，但答案却有很大波动。
他们还探讨了理解性问题答案的「稳定性」。结果表明，LLM 缺乏强有力、一致的回应。
之后，他们测试了 ChatGPT-3.5 的一系列低频结构、探索语法，包括身份回避（「渔民捕获的鱼吃虫子」）、比较结构（「去过俄罗斯的人比我去过的次数多」）和语义异常（「…… 我们应该把幸存者埋在哪里？」这类谜题）。
ChatGPT 的表现非常差劲。
研究者将这一证据解读为一种证明：尽管当前的 AI 模型具有一定的实用性，但仍未达到类人语言的水平。
原因可能在于，它们缺乏用于有效调控语法和语义的组合运算符信息。
最后，研究者强调说：在语言相关任务和基准测试中的出色表现，绝不应该被用来推断：LLM 不仅成功完成了特定任务，还掌握了完成该任务所需的一般知识。
这次研究表明，从数量上讲，测试模型的表现优于人类，但从质量上讲，它们的答案显示出了明显的非人类在语言理解方面的错误。
因此，尽管 LLM 在很多很多任务中都很有用，但它们并不能以与人类相匹配的方式理解语言。
人类利用类似 MERGE 的组合运算符，来调节语法和语义信息
AI 对语言的深层含义不敏感
LLM 为什么这么容易受到莫拉维克悖论的束缚 —— 在相对简单的任务上却会失败？
这是因为，在需要记忆专业知识的任务中的良好表现，并不一定建立在对语言的扎实理解的基础上。
对人类大脑最擅长的简单、轻松的任务来说，逆向工程却更加困难；而对于人类来说，理解语言却是一件轻而易举的事情，甚至连 18 个月的幼儿都能表现出对复杂语法关系的理解。
我们这个物种天生就具有不可抑制的语言习得倾向，总是会在文字表面之下寻找意义，并在线性序列中构建出令人惊讶的层次结构和关系。
不过，LLM 也有这种能力吗？
很多人会把 LLM 在各种任务和基准测试中的成功，归结为它们已经具有了类人能力，比如高级推理、跨模态理解和常识能力。
甚至一些学者声称，LLM 在一定程度上接近人类认知，能够理解语言，性能与人类相当甚至超越人类。
然而，大量证据表明，这些模型的表现可能存在不一致性！
尽管模型能够生成高度流畅、语义连贯的输出，但在自然语言的一些基本句法或语义属性方面仍会出现困难。
那么，LLM 在回答医疗或法律问题时，为何看似表现良好呢？
实际上，这些任务的完成，可能依赖于一系列完全不同于人类语言认知架构的计算步骤。
LLM 在性能上的缺陷，已经引发了我们对其输出生成机制的严肃质疑 ——
究竟是（i）基于上下文的文本解析（即，能够将特定的语言形式与其相应的意义匹配，并在不同上下文中实现广泛的泛化），还是（ii）机械化地利用训练数据中的特定特征，从而仅仅制造出一种能力的假象？
目前，评估 LLM 的主流方法是通过其（结构良好的）输出，推断它们具备类似人类的语言能力（如演绎推理）。
例如，在语言相关的任务和基准测试中取得的准确表现，通常被用来得出这样的结论：LLM 不仅成功完成了所执行的特定任务，还掌握了完成该任务所需的一般性知识
这种推理方式的核心逻辑，就是把 LLM 视为认知理论基础。
另一方面，假如 LLM 真的完全掌握了语言理解中涉及的所有形态句法、语义和语用过程，它们却为何无法稳定运用归因于它们的知识呢？
诡异考题，给 LLM 上难度
为此，研究者特意设计了一份别致的考题，来考验 LLM 对语言真正的掌握程度！
他们考验了 GPT-3 和 ChatGPT-3.5 对一些语法性判断的表现，也就是判断一个提示是否符合或偏离模型所内化的语言模式。
注意，这些提示在日常语言中出现频率较低，因此很可能在训练数据中并不常见。
这个考验的巧妙之处在哪里？
要知道，对人类来说，认知因素（如工作记忆限制或注意力分散）可能会影响语言处理，从而导致非目标的语法性判断，但人类可以通过反思正确处理这些刺激，即在初步的「浅层」解析后能够进行「深层」处理。
然而，对于 LLM 来说，它们的系统性语言错误并没有类似的「直给」解释。
可以看到，这些句子十分诡异。
比如「狗狗狗狗狗」，「诊所雇佣的护士的医生见到了杰克」，「根本存在缺陷的理念之村未能达到标准」，「当一架飞机在两国边界坠毁，残骸散落在两国境内时，我们应该在哪里埋葬幸存者？」等等。
GPT-3（text-davinci-002）和 ChatGPT-3.5 在涉及低频结构的语法判断任务上的表现，不准确的回复被标记为红色，准确的被标记为绿色
接下来，研究者着重调查了 LLM 理解语言的能力是否与人类相当。
他们调查了 7 个最先进的 LLM 在理解任务中的能力，任务有意将语言复杂性保持在最低限度。
约翰欺骗了玛丽，露西也被玛丽欺骗了。在这种情况下，玛丽是否欺骗了露西？
这项研究，在现实层面也意义重大。
虽然 LLM 被训练来预测 token，但当它们与界面设置结合起来，它们的能力已经被宣传为远远超过下一个 token 的预测：商家会强调说，它们是能流利对话的 Agent，并且表现出了跨模态的长上下文理解。
最近就有一家航空公司被告了，原因是乘客认为他们的聊天机器人提供了不准确信息。
公司承认，它的回复中的确包含误导性词汇，但聊天机器人是一个独立的法律实体，具有合理的语言能力，因此对自己的言论负责。
因此，研究人员想弄明白，LLM 在语言理解任务中的表现是否与人类相当。
具体来说，有两个研究问题 ——
RQ1 ：LLM 能否准确回答理解问题？
RQ2 ：当同一问题被问多次时，LLM 的回答是否一致？
按模型和设置（开放长度与单字）划分的准确率如图 A 所示。
结果表明，大多数 LLM 在开放长度设置中，均表现较差。
按模型和设置划分的稳定性率如图 B 所示。
与准确性结果结合起来看，Falcon 和 Gemini 的稳定性显著提高，这分别意味着 Falcon 在提供准确答复方面部分一致，而 Gemini 在提供不准确答复方面部分一致。
( A ）按模型和设置划分的平均准确度。（ B ）模型和设置的平均稳定性
那么 LLM 和人类的区别在哪里呢？
比较分析表明，人类与 LLM 在准确性和稳定性方面的表现存在重大差异。
(A）各响应代理和场景的平均准确率。(B）各响应代理和场景的平均稳定性
准确性
1. 在开放长度设定中，LLM 的表现显著差于人类。
2. 在单词长度设定中，人类的表现并未显著优于开放长度设定。
3. 在单词长度设定中，人类与 LLM 之间的表现差距显著缩小，这表明 LLM 的响应在不同设定间存在差异，而这种差异在人类中并未观察到。
这一结果揭示出，LLM 在不同响应条件下具有显著差异，而人类的表现则相对一致。
稳定性
1. 在开放长度设定中，LLM 的表现显著差于人类。
2. 在单词长度设定中，人类的表现并未显著优于开放长度设定。
3. 在单词长度设定中，人类与 LLM 之间的表现差距显著缩小，这表明 LLM 的响应在不同设定间存在差异，而这种差异在人类中并未观察到。
这一结果揭示，LLM 在不同响应条件下表现出了显著差异，而人类的表现则相对一致。
另外，即使是表现最好的 LLM——GPT-4，也要明显比表现最好的人差。所有人类参与者，在描述性水平上综合起来都优于 GPT-4。
准确性和稳定性，LLM 比起人类弱爆了
LLM 的输出究竟是由什么驱动的？
究竟是（i）类似人类的能力来解析和理解书面文本，还是（ii）利用训练数据中的特定特征？
为此，研究者对 7 个最先进的 LLM 进行了测试，使用的理解问题针对包含高频结构和词汇的句子，同时将语言复杂性控制在最低水平。
他们特别关注了 LLM 生成的答案是否同时具备准确性（RQ1）和在重复试验中的稳定性（RQ2）。
系统性测试表明，LLM 作为一个整体在准确性上的平均表现仅处于随机水平，并且其答案相对不稳定。
相比之下，人类在相同理解问题上的测试表现出大多准确的答案（RQ1），且在重复提问时几乎不会改变（RQ2）。
更重要的是，即便在评分对 LLM 有利的情况下，LLM 和人类之间的这些差异仍然十分显著。
语言解析，是指通过为符号串赋予意义来理解和生成语言的能力，这是人类独有的能力。
这也就解释了，为什么实验中，人类在多次提问或使用不同指令的情况下，能够准确回答并且答案保持一致。
然而，LLM 的输出在数量和质量上都与人类的答案存在差异！
在数量上，LLM 作为一个整体的平均准确率仅处于随机水平，而那些成功超过随机阈值的模型（如 Falcon、Llama2 和 ChatGPT-4），其准确率仍然远未达到完美水平。
其次，尽管所有 LLM 在稳定性方面表现高于随机水平，但没有一个能够始终如一地对同一个问题给出相同的答案。
综上所述，LLM 整体上并不能以一种可被称为「类人」的方式应对简单的理解问题。
LLM 更像工具，而不是科学理论
研究者认为，LLM 之所以在简单理解任务中无法提供准确且稳定答案，是因为这些模型缺乏对语言的真正理解：它们生成的词语如同语义「黑箱」，只是近似于语言的表面统计和解析过程中较「自动化」的部分。
事实上，不仅是较低的准确率，而且 LLM 响应的较低稳定性也表明，它们缺乏一种类人的算法，能够将句法信息直接映射到语义指令上，同时对不同判断的容忍度也明显较低。
而人类则拥有一个不变的组合操作器，用于调节语法和语义信息，因此在这方面明显不易出错。
此外，LLM 并不适合作为语言理论，因为它们的表征能力几乎是无限的，这使得它们的表征既是任意的，又缺乏解释性基础，属于通用函数逼近器这一类别，而后者已被证明能够逼近任何数学函数。
论文地址：https://arxiv.org/pdf/1912.10077
论文地址：https://arxiv.org/pdf/2012.03016
因此，与其说 LLM 是科学理论，不如说它们更接近工具，比如广义导数。
此外，LLM 与人类表现之间的差异也具有质的特点。
首先，所有人类参与者无一例外地在所有设定中都提供了单词长度的回答。这表明被试在回答问题时，对所需信息量的理解具有一致性，即使在语用学领域，人类也遵循了由句法推理路径决定的计算效率和相关性原则。
这与 LLM 形成了鲜明对比，后者通常会提供冗长的解释，即便在单词长度设定中也如此，从而违背了任务指令。
在这些解释中，LLM 的推理被分解为逻辑步骤，但这些步骤中常常包含无关或自相矛盾的信息。例如，在以下提示中：
「Franck 给自己读了书，而 John 给自己、Anthon 和 Franck 读了书。在这种情况下，Franck 被读书了吗？」
Gemini 的回答如下：「不可能确定 Franck 是否被读过，原因包括信息有限，单独动作，歧义……」
这个问题的正确答案是「是」。而 Gemini 不仅给出了错误的答案，还做出了十分冗余的回答。
总的来说，如果研究者试图将遇到的 LLM 错误映射到语言分析的各个层面上，那么当他们从基本的语音形式转向更复杂的语言组织外层时，错误的发生率似乎会变得更大。
将图 1 中显示的错误类型映射到语言分析的层次上
最终这项工作证明：LLM 连贯、复杂和精致的输出，相当于变相的拼凑而成。
它们看似合理的表现，隐藏了语言建模方法本身固有的缺陷：智能实际上无法作为统计推断的副产品而自然产生，理解意义的能力也不能由此产生。
LLM 无法作为认知理论，它们因为在自然语言数据上进行训练，并生成听起来自然的语言，这并不意味着它们具备类人处理能力。
这仅仅表明，LLM 可以预测训练文本中某些「化石模式」。
宣称模型掌握了语言，仅仅因为它能够重现语言，就好比宣称一个画家认识某人，只因为他可以通过看她的照片在画布上重现她的面容一样。
参考资料：
-
https://www.nature.com/articles/s41598-024-79531-8
