研究：iGSM 基准显示正确答案常伴随无效思维链

作者在合成小学数学基准 iGSM 上程序化逐步检验思维链，发现答案正确与推理过程有效并不总是一致。仅用有效最小化思维链训练的模型在分布内两者几乎重合，但在分布外解耦，最难样本中有 31.6% 的正确答案对应无效思维链，其中过半通过了全部语法与算术检查，却在语义依赖检查上失败。对思维链监督的干预实验显示，非最小化训练思维链会诱导非最小化输出，换用不同问法重问同一问题会暴露继承自原始问题的计算，削弱最小化作为选择性规划证据的效力。在 10% 训练思维链句子中打乱 token 后，即使没有任何思维链通过验证，模型仍能保持接近干净的准确率；替换训练思维链同样保持较高分布内准确率。作者据此讨论这些结果对思维链监控与解释在 AI 安全语境下的影响。