over-thinking

本文形式化了LLM中的推理冗余，将其定义为在不影响正确性的情况下可截断的尾部步骤比例，在多个前沿模型上量化出61%-93%的冗余，并证明冗余是长度无关结果奖励的结构性后果。