爆火的“思维链”竟是一个“海市蜃楼”？三大证据实锤→

【导语】思维链（CoT）提示技术曾被视为提升大语言模型（LLM）推理能力的关键突破，其模拟的人类推理步骤让人深感AI正逐步迈向深思熟虑的智能。然而，亚利桑那州立大学的一项新研究揭示了CoT推理的脆弱本质：它更像是对训练数据的模式匹配，而非真正的逻辑推理。这一发现引发了AI行业的广泛讨论，其中不乏对CoT本质及其局限性的深刻反思。本文将深入探讨这一研究及其引发的争议，带您一窥AI推理的真实面貌。

思维链（CoT）提示技术已被证明能提升大语言模型（LLM）在各类任务中的表现。采用该方法时，LLM 似乎会先生成类似人类的推理步骤（即 CoT 推理），再给出最终答案，这往往让人觉得 LLM 正在进行深思熟虑的推理过程。

然而，亚利桑那州立大学团队在一项新研究中指出：CoT 推理实为脆弱的幻象，一旦超出训练分布范围便会失效。
换句话说，CoT 推理的有效性并非源于模型的逻辑推演能力，而是对训练数据模式的记忆与插值，其本质是高度结构化的模式匹配，而非真正可泛化的逻辑推理。

这一结论引发了人工智能（AI）行业从业者对 CoT 本质的重新审视。

研究团队表示，这项工作深化了人们对 CoT 推理失效原因与条件的理解，凸显了实现真正可泛化推理仍是持续面临的挑战。

从何质疑？

越来越多的研究表明，LLM 往往依赖于表面语义和线索，而非逻辑推理过程。
为此，他们通过提出数据分布的替代视角来质疑 CoT 推理，并进一步探究其失效的原因与时机。他们通过任务（task）、长度（length）和格式（format）三个维度对 CoT 推理进行了剖析。

图｜数据分布视角。CoT 推理的有效性从根本上受限于训练数据与测试查询之间的分布差异程度。

1.任务泛化

任务泛化能力是 CoT 推理面临的核心挑战，它直接检验模型将学到的概念与推理模式应用于未知场景的能力。
任务泛化测试聚焦模型对“新任务新结构”的适应能力，包括变换泛化（Transformation Generalization）和元素泛化（Element Generalization）两个维度。

1）变换泛化

在变换泛化实验中，研究人员设计了四种分布偏移场景，从“ID”到“OOD”，逐步升级：
In-Distribution（ID）：测试任务与训练任务完全一致。例如，训练与测试均为“f1∘f1”，此时模型精确匹配率为 100%；

Composition（CMP）：测试任务为训练过的基础操作的新组合。例如，训练“f1∘f2”“f2∘f1”，测试“f2∘f2”，此时精确匹配率降至 0.01%；

Partial Out-of-Distribution（POOD）：测试任务包含至少一个未训练的操作，此时精确匹配率(lǜ)直(zhí)接(jiē)将(jiāng)为(wèi)零(líng)；

Out-of-Distribution（OOD）：测(cè)试(shì)任(rèn)务(wu)为(wèi)全新(xīn)操(cāo)作(zuò)组(zǔ)合(hé)。例(lì)如(rú)，训(xun)练(liàn)集只(zhǐ)见(jiàn)过(guò)“f1∘f1”，而(ér)测(cè)试(shì)集要(yào)处(chù)理(lǐ)“f2∘f2”，此(cǐ)时(shí)模(mó)型(xíng)彻(chè)底(dǐ)失(shī)效(xiào)。

表(biǎo)｜不(bù)同(tóng)场(chǎng)景(jǐng)下(xià)变(biàn)换(huàn)泛化能力的全链路评估。

另外，如下表，从 f1∘f2 到 f2∘f2，LLM 能够正确回答 0.1% 的问题。但进一步检查发现，这只是一个巧合，如查询元素为 A, N, A, N，恰好在这两种操作中产生了相同的结果。

研究团队将完整推理链分解为推理步骤与答案进行深入分析后发现，推理步骤与对应答案之间存在高度一致性。
例如，在组合泛化设置下，推理步骤在测试数据分布 f1∘f1 到 f2∘f2 上完全正确，但得出的答案却存在错误。
同样，从 f1∘f2 泛化到 f2∘f1，LLM 能够生(shēng)成(chéng)正(zhèng)确(què)答(dá)案(àn)，但(dàn)这(zhè)归因于两种正交变换之间的可交换性，而推理路径并不可靠。

表｜CoT 推理在变换泛化中的不同组件评估。

上述结果表明，CoT 推理无法泛化到新的变换，甚至无法泛化到新的组合变换。与其说 CoT 推理真正理解了文本，不如说它的表现更像是对训练过程中习得模式的简单复刻。

更进一步，研究团队对少量未见数据进行了监督微调（SFT），从而探究 CoT 推理能否推广至未见过的变换。这种方式能降低训练集与测试集之间的分布差异，这可能有助于 LLM 对测试查询进行泛化。

图｜在不同分布偏移程度下，采用SFT处理未见数据的性能表现。

结果显示，只需要极少量示例样本，就能让模型快速泛化到未见过的变换场景，大幅提升性能。这说明，LLM 非常擅长从数据中快速学习新模式，但也说明其能力范围被见过的模式严格限定。

2）元素泛化

当试图将 LLM 泛化到新任务时，元素泛化是另一个关键因素。
研究团队在固定其他因素后，设置了 ID、CMP 和 OOD 三种场景。其中，在 ID 场景中，测试元素与训练元素使用相同的字母；CMP 场景中，测试元素是由训练时接触过的字母构成新的组合；在 OOD 场景中，测试元素是训练时从未见过的字母。

在组合方面，他们测试了当观察到元素中的所有基本原子时，CoT 推理是否能够泛化到新的组合，如 (A, B, C, D) → (B, C, D, A)。基于组合中的原子顺序，CMP 可以进一步发展。而对于 OOD，构成元素的原子在训练期间是完全未见过的。
结果显示，与变换泛化类似，当模型在所有变换中持续遭遇分布偏移时，其性能会急剧下降。从 ID 到 CMP，再到 OOD，在所有情况下，精确匹配度均从 1.00 逐步降至 0。

图｜不同场景和关系下的元素泛化结果。

他们通过 SFT 进一步探索 CoT 推理何时能够泛化到新的元素，如下图。结果显示，当训练数据中出现相似（n 较小）的例子时，性能迅速提高。有趣的是，当 n=3 时，CoT 推理的精确匹配率与性能下限一致，这可能表明 CoT 推理在新颖元素上的泛化能力非常有限，即使在下游任务上进行 SFT 也是如此。

他们还发现，训练过程中答案与推理步骤之间存在准确性不匹配的问题，这在某种程度上可能解释了为什么在某些情况下 CoT 推理不一致。

2.长度泛化

长度泛化研究模型在遇到与训练分布长度不同的测试案例时，其 CoT 推理能力如何退化。
长度差异可能源于文本空间或问题推理空间。因此，研究团队将长度泛化分解为两个互补维度：文本长度泛化与推理步骤泛化。

1）文本长度泛化

文本长度泛化旨在评估当输入文本长度与训练示例不同时，CoT 推理的性能如何变化。考虑到 LLM 处理长文本的方式，这一维度至关重要，因为现实世界的问题通常涉及不同程度的复杂性，这些问题表现为问题陈述长度、上下文大小或信息密度的差异。
研究团队在文本长度为 4 的数据集上预训(xun)练(liàn) LLM，同(tóng)时(shí)固(gù)定(dìng)其(qí)他(tā)因(yīn)素(sù)，并在多种长度上评估性能。

实验结果显示，模型仅在文本长度为 4 的训练数据上表现优秀，精确匹配率达到 100%。随着长度差异的增加，CoT 推理长度泛化的有效性会降低，精确匹配率也会降至 0。这表明 LLM 对输入长度等统计特性极其敏感。

表｜文本长度泛化评估。

他们还探讨了使用不同填充策略减少训练数据和测试案例之间的差异。他们发现，填充到最大长度对长度泛化没有贡献。然而，当他们使用分组（Group）策略用文本替换填充时，性能有所提高。

图｜不同填充策略下文本长度泛化的表现。

2）推理步骤泛化

推理步骤泛化旨在研究模型能否外推到与训练时观察到的不同步骤的推理链。这是多步骤推理任务中的常见设置。
与文本长度泛化类似，他们使用推理步骤为 2 来预训练 LLM，并在推理步骤为 1 或 3 的数据上进行评估。
结果表明，CoT 推理无法在需要不同推理步骤的数据集间泛化，存在泛化失败的现象。随着未见数据比例的增加，目标数据集上的性能呈现提升趋势。与此同时，由于训练数据量不足，语言模型无法对原始训练数据集进行泛化。这说明，模型的性能完全由训练数据的分布构成决定，不存在超越数据分布的泛化。

图｜不同训练数据组合下的推理步骤泛化测试性能。

3.格式泛化

格式泛化旨在评估 CoT 推理对测试查询中表面形式变化的鲁棒性，这一维度对于确定模型是否已经内化了灵活的、可迁移的推理策略，或仍然依赖于训练期间遇到的具体模板和短语尤为重要。
为此，研究团队通过以下四种扰动模式来模拟真实场景：

插入（Insertion）：在每个原始标记前插入噪声 token；

删(shān)除(chú)（Deletion）：直(zhí)接(jiē)移(yí)除(chú)原(yuán)始(shǐ) token；

替换（Modification）：用噪声标记替代原始 token；

混合模式（Hybrid）：融合多种扰动方式。

实验结果表明，CoT 推理很容易受到格式变化的影响，无论是插入、删除、修改，还是混合模式，都会产生影响正确性的格式差异。他们进一步将查询内容划分为三个部分：元素、变换和提示词。他们发现，元素和变换在格式中起着关键作用，而其他 token 的改动对结果影响不大。

图｜格式泛化性能表现。

反对质疑

基于以上研究结果，研究团队得出结论：
CoT 并非真正的逻辑(ji)推(tuī)理(lǐ)机(jī)制(zhì)，而(ér)是(shì)一(yī)种(zhǒng)高(gāo)级(jí)的(de)结(jié)构(gòu)化(huà)模(mó)式(shì)匹(pǐ)配(pèi)形(xíng)式(shì)，其(qí)根(gēn)本(běn)局(jú)限(xiàn)在(zài)于(yú)训(xun)练(liàn)阶(jiē)段(duàn)所(suǒ)见(jiàn)的(de)数(shù)据(jù)分(fēn)布(bù)。一(yī)旦(dàn)略(è)微(wēi)超(chāo)出(chū)该(gāi)分(fēn)布(bù)范(fàn)围(wéi)，其(qí)性(xìng)能(néng)便(biàn)会(huì)显(xiǎn)著(zhe)下(xià)降(jiàng)，暴(bào)露(lù)出(chū)其(qí)"推(tuī)理(lǐ)"过(guò)程(chéng)的(de)表(biǎo)面(miàn)性(xìng)本(běn)质(zhì)。

而(ér)且(qiě)，他(tā)们(men)还(hái)在(zài)论(lùn)文中(zhōng)写(xiě)道(dào)，“尽(jǐn)管(guǎn)我(wǒ)们(men)的(de)实(shí)验(yàn)采用(yòng)了(le)在(zài)受(shòu)控(kòng)环(huán)境(jìng)中(zhōng)从(cóng)头(tóu)开(kāi)始(shǐ)训(xun)练(liàn)的(de)模(mó)型(xíng)，但(dàn)所(suǒ)揭(jiē)示(shì)的(de)原(yuán)理(lǐ)可(kě)扩(kuò)展(zhǎn)至(zhì)大(dà)规(guī)模(mó)预(yù)训(xun)练(liàn)模(mó)型(xíng)。”这(zhè)似(shì)乎(hu)印(yìn)证(zhèng)了(le)“CoT 看(kàn)似(shì)强(qiáng)大(dà)的(de)推(tuī)理(lǐ)能(néng)力(lì)本(běn)质(zhì)上(shàng)是(shì)一(yī)种(zhǒng)脆(cuì)弱(ruò)的(de)幻(huàn)象(xiàng)”的(de)说(shuō)法(fǎ)。

然(rán)而(ér)，在(zài)国(guó)外(wài)软(ruǎn)件(jiàn)工(gōng)程(chéng)师(shī) Sean Goedecke 看(kàn)来(lái)，这(zhè)项(xiàng)研(yán)究(jiū)的(de)实(shí)验(yàn)和(hé)论(lùn)证(zhèng)存(cún)在(zài)一(yī)些(xiē)局(jú)限(xiàn)性(xìng)，并(bìng)进(jìn)行(xíng)了(le)反(fǎn)驳(bó)。

“不(bù)能(néng)单(dān)凭(píng)这(zhè)篇(piān)论(lùn)文里(lǐ)的(de)‘小(xiǎo)儿(ér)科(kē)’例(lì)子(zi)，就(jiù)对(duì)推(tuī)理(lǐ)模(mó)型(xíng)得(de)出(chū)如(rú)此(cǐ)宽(kuān)泛(fàn)的(de)结(jié)论(lùn)。”

原(yuán)文链(liàn)接(jiē)：https://www.seangoedecke.com/real-reasoning/

针(zhēn)对(duì)这(zhè)篇(piān)论(lùn)文，他(tā)提(tí)出(chū)了(le)以(yǐ)下(xià)观(guān)点(diǎn)：

1.推(tuī)理(lǐ)很(hěn)可(kě)能(néng)需(xū)要(yào)语(yǔ)言(yán)的(de)参(cān)与(yǔ)

即(jí)便(biàn)是(shì)模(mó)拟(nǐ)出(chū)来(lái)的(de)推(tuī)理(lǐ)，也(yě)必(bì)须(xū)是(shì)在(zài)人(rén)类(lèi)语(yǔ)言(yán)中(zhōng)进(jìn)行(xíng)的(de)推(tuī)理(lǐ)。推(tuī)理(lǐ)是一项复杂的任务，需要像人类语言这样复杂的工具。推理任务需要在多个不同选项之间做出选择，不断改变方向，但这篇论文里的例子从结构上就不可(kě)能(néng)做(zuò)到(dào)这(zhè)一(yī)点(diǎn)。

2.模(mó)型(xíng)规(guī)模太小制约了结论的普适性

小型模型难以涌现推理能力。一个 60 万参数的模型，可能可以学会按顺序应用转换规则，但未必聪明到能将这些转换分解成它们各自的组成部分。它没有足够的原始“脑力”来执行相关操作，所以研究结果很难推广到一个 10 亿、100 亿或 1000 亿参数的模型上。
3.缺少与人类推理的对比

这篇论文的核心论点，推理模型在超出其领域时会遇到困难，这对于强大的人类推理者来说也同样成立。人类推理同样依赖经验模板，在陌生领域容易出错。既然推理模型是在大量人类或类人的推理文本上训练出来的，那么它们的推理方式像人类，又何必惊讶呢？

此外，Goedecke 还给出了自己的一些建议——当我们阅读关于模型推理的论文时，需要使用以下启发式方法：
如果它声称 AI 推理在某种程度上是“虚假”的，检查是否有部分（至少）直接评估人类推理技能的质量，或者理想情况下提供“真实”推理的严格哲学定义。如果它指出 AI 模型在推理任务上失败，请检查任务本身是否真的需要推理（即考虑多种方法）或者是否仅仅需要计算（遵循固定算法）。

那么，关于“CoT 推理并非真正可泛化的逻辑推理”这一说法，你怎么看？

作者：小瑜