編輯：Aeneas 好困
【新智元導讀】 最近，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可以預測訓練文本中某些「化石模式」。
宣稱模型掌握了語言，僅僅因為它能夠重現語言，就好比宣稱一個畫家認識某人，只因為他可以透過看她的照片在畫布上重現她的面容一樣。
