假設你正在用一個推理模型處理一份報表異常。它在介面上秀出一長串逐步推理:先檢查哪幾個欄位、排除哪些可能原因、最後給出一個判斷。畫面很完整,邏輯看起來也連得起來。你準備把這個結論轉交給同事,當作接下來要處理的依據。在按下轉傳之前,有一個問題值得先問:這段逐步推理,算不算答案可信的證據?
雙系統類比有邊界:逐步推理看似費力思考,但單看文字長短無法證明模型做過檢查
卡尼曼在 2003 年的論文裡,區分快速直覺與費力推理,並將「系統一/系統二」的名稱歸於 Stanovich 與 West(2000)。費力推理包含對直覺判斷的監督,但仍可能放過錯誤。
若用這組分法理解思維鏈(Chain-of-Thought,CoT),可以把逐步推理類比為費力思考,但行為相似不足以判定內部機制相同。要判斷模型是否檢查了答案,仍需要可核查的依據,單看展示文字的長短無法判定。
Tversky 與 Kahneman 在 1981 年的研究指出,人的偏好可能受到問題表述方式影響(框架效應)。這是人類決策的研究,在工程實務上也提醒了同一件事:檢查模型的推理說明時,同樣得留意提示詞最初是如何呈現問題的。
思維鏈能將 GSM8K 答對率從 10.4% 提升到 40.7%,但逐步推理不等於忠實反映判斷依據
Wei 等人 2022 年的研究,在提示中提供逐步推理示範,改善了所測模型在部分算術、常識與符號推理任務上的表現。Kojima 等人同一年的研究則比較 zero-shot 與 zero-shot-CoT 提示設定:在 text-davinci-002 模型上,GSM8K 的答對率從 10.4% 提升到 40.7%。
這個數字支持了 CoT 在特定研究設定中的效益,但無法保證其他任務或模型有同等幅度的提升。
但「表現變好」和「這一次的推理說明值得信任」,是兩個不同層次的問題。前者看的是整批任務的答對比例;後者看的是眼前這一個答案,展示的推理是否忠實反映了做出判斷的依據。
Turpin 等人在 2023 年的研究,檢驗了第二個問題。在他們測試的模型、任務與偏誤提示設定下(包含 GPT-3.5、Claude 1.0 等),偏誤線索可能影響答案,卻未在思維鏈說明中被揭露;模型也可能生成替錯答合理化的說明。
論文開頭就用一個例子說明這件事:把提示裡示範題的選項重新排列,讓正解總是 (A),再問模型同一題。
這個反例只限定在論文測試的模型、任務與提示設計裡,不能外推成所有推理模型的思維鏈都是事後編的,也沒有證明模型內部完全不做任何檢查。它能說明的,是一件更具體的事:逐步推理的文字,不保證完整反映了模型做判斷時真正依賴的因素。
因此在工程實務上,必須把 CoT 提示、推理模型與介面展示的說明分開看待。提示實驗不足以判定所有推理模型的內部機制,更不宜從介面文字的長短推斷內部計算,或假設它呈現了完整的內部過程。
採用模型輸出前,可以分別檢查三個面向:
- 表現:在指定的評估任務上,模型答對的比例有多高。
- 忠實性:它展示的推理,是否反映了真正影響這個答案的因素。
- 驗證:眼前這個答案,能不能通過資料核對、規則檢查或測試。
說明可以提供核查的線索——它指出模型「說」自己檢查了哪裡,你可以照這條線索去對照原始資料。但這段說明本身,不能取代這三項判斷裡的第三項「結果驗證」。
覆核機制依「錯誤影響與可逆性」分級:多加一個模型 reviewer 仍可能共用錯誤前提
採用輸出之前,可以從以下四類方式安排覆核。這是工程建議,選擇時仍需考量資料、規則與人力:
- 結論能不能在來源資料裡找到對應的數字或記錄
- 取得並核對原始資料
- 仍需檢查來源本身是否可靠
- 用明確規則或可執行測試重算一次,結果要一致
- 把規則或測試寫清楚
- 仍需檢查規則與測試是否涵蓋待核實的主張
- 將模型指出的疑點,交由資料、規則或測試核實
- 核實新增的檢查線索
- 仍須防範共用錯誤前提
- 有相關知識的人逐項確認關鍵主張
- 安排覆核者與確認時間
- 仍需確認覆核標準與資料是否可靠
覆核強度可以依錯誤的影響、可逆性與查核成本調整。個人草稿可考慮抽查;對外發布或影響他人決策的結果,建議至少核對關鍵主張;重大且難以挽回的後果,應安排更嚴格的規則與人工覆核。這是判準示意,實際分級仍需依場景調整。
多問一次或在架構裡加一個模型當 reviewer,確實能增加檢查線索,但仍須防範共用錯誤前提。外部覆核同樣需要有效標準與正確資料,無法單靠堆疊模型保證零錯誤。
結論:推理說明只提供檢查線索,採用前必須拿出資料核對或測試等驗收依據
回到開頭假設的報表異常情境。面對模型給出的長串推論,可以先挑出一項最關鍵且可核實的主張:某個欄位、某條規則,或某個計算結果。對照原始資料、明確規則或可執行測試,記下通過與否及依據;不通過就先暫緩採用,交給進一步覆核。單項通過也只支持這項主張,仍需檢查其餘關鍵主張。
推理說明提供檢查線索,答案可信仍要有驗證依據。思維鏈可以在被測過的任務上改善表現,卡尼曼的雙系統類比也提供了一個理解推理模型的入口,但兩者都不能替眼前這個答案的正確性背書。工程上該做的,是把驗收條件、檢查依據,以及檢查不通過時該怎麼處理寫清楚——這件事不會因為模型多生成了幾行推理文字就變得不必要。
要把覆核放進產品設計,可以接著看如何定位 AI 功能出錯時,問題究竟卡在系統的哪一層。
延伸閱讀
參考資料
- Kahneman (2003). Maps of Bounded Rationality: Psychology for Behavioral Economics. https://kahneman.scholar.princeton.edu/document/8
- Wei et al. (2022). Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. https://arxiv.org/abs/2201.11903
- Kojima et al. (2022). Large Language Models are Zero-Shot Reasoners. https://arxiv.org/abs/2205.11916
- Turpin et al. (2023). Language Models Don't Always Say What They Think: Unfaithful Explanations in Chain-of-Thought Prompting. https://arxiv.org/abs/2305.04388
- Tversky & Kahneman (1981). The Framing of Decisions and the Psychology of Choice. https://pubmed.ncbi.nlm.nih.gov/7455683/
留言0
登入後就能留言。
登入