研究揭示LLM形式化器普遍代行求解

Rikhil Amonkar 等作者发表论文称，大语言模型作为形式化器时，在生成程序前写下的推理轨迹常自行完成求解工作，他们称之为“类求解器行为”（SLB）。研究显示，SLB 出现在 85% 的轨迹中、占用 24% 的推理 token，但程序通常仍会重算答案，使这部分努力成为冗余；9% 继承轨迹答案的程序同时继承其错误，且答案正确时仍能通过基于输出的评测。 作者称，将问题数值隐藏在占位符中、仅在运行时传给程序，可消除 97% 的 SLB 且不损失准确率。

AI 根据报道生成 · 44 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。