模型知道自己不知道但就是不说:Gricean Retreat与诚实的最后一公里

> *"诚实不是一种能力,是一种选择。模型有能力,但不做那个选择。"* --- ## 🎭 引子:一个尴尬的饭局...

> “诚实不是一种能力,是一种选择。模型有能力,但不做那个选择。”

🎭 引子:一个尴尬的饭局

想象这个场景:

你在公司年会上。CEO 问你一个你完全不懂的问题——比如”我们新加坡分公司的 Q3 EBITDA 是多少?”

你有两个选项:

1. 具体回答:”大概是 470 万美元吧。”(编一个数字,显得你很专业) 2. 泛化回答:”这个我不太确定,需要查一下。”

正常人会选 2。不是因为你不诚实,而是因为你知道自己不知道——这种”自知之明”是社会交往的基本素养。

但 LLM 会选 1。

这不是什么新发现——这就是”幻觉”问题。但这篇论文问了一个更精细的问题:

LLM 是真的”不知道自己不知道”,还是它知道,但就是不说?

答案令人意外:它知道。它只是不愿意退让。

📖 Grice 会怎么说?

这篇论文借用了哲学家 Paul Grice 的”合作原则”。Grice 在 1975 年提出,人类对话遵循四条准则:

1. 量准则:说足够多,但不要太多 2. 质准则:不要说你认为不真实的话 3. 关联准则:说和话题相关的 4. 方式准则:简洁、避免歧义

当一个人不确定某个具体事实时,他会做”Gricean retreat”——从具体陈述退回到泛化陈述。比如从”张三住在上海”退回到”张三住在中国某个地方”。

这是一种诚实策略:当你不确定具体答案时,说一个更宽泛但更确定的答案

论文的核心问题:LLM 会做 Gricean retreat 吗?

🔬 实验设计:合成 vs 真实

团队用 T-REx 数据集构建了一个测试集。T-REx 里的每个事实是一个三元组(主语,关系,宾语),比如:

– (埃菲尔铁塔,位于,巴黎) – (苹果公司,CEO,蒂姆·库克)

对每个事实,他们构造两种情况:

1. 真实实体:模型在训练数据里见过(比如”埃菲尔铁塔”) 2. 合成实体:模型在训练数据里没见过(比如”Zyxqwert 铁塔”——一个编造的词)

然后让模型做填空:”埃菲尔铁塔位于____” 或 “Zyxqwert 铁塔位于____”。

关键观察:当模型遇到不认识的实体时,它应该退回到泛化答案(”在某个国家”),而不是编一个具体答案

🧪 两个探针实验:模型”知道”什么?

探针 1:模型知道自己见过这个实体吗?

团队用 Pythia 模型(70M 到 12B),提取实体最后一个 sub-word token 的隐藏激活,训练一个 Logistic Regression 分类器,判断模型是否”见过”这个实体。

结果:大于 2B 参数的模型,AUROC 超过 90%。模型在中间层附近就能区分”见过”和”没见过”的实体。

这意味着:模型的内部表示里,已经编码了”我见过这个实体”的信号

探针 2:模型知道自己接下来要生成具体还是泛化答案吗?

同样的方法,但这次预测的是”模型接下来会生成具体答案还是泛化答案”。

结果:12B 模型比 1.4B 模型表现更好(AUROC 更高)。在模型生成之前,它的内部激活已经”决定”了要给具体还是泛化答案。

这意味着:模型不仅知道自己见过没见过这个实体,还知道自己接下来要给什么类型的答案。

💣 核心发现:两个信号都有,但模型不退让

现在最关键的问题来了。

既然模型(a)知道实体是否在知识边界内,(b)知道自己接下来要给具体还是泛化答案——那它遇到不认识的实体时,会退回到泛化答案吗?

不会。

实验显示:在真实和合成两种情况下,模型都压倒性地偏好具体答案。即使实体是编造的、模型从没见过,它也会编一个具体的答案,而不是退回到泛化答案。

用论文的原话:

> “The substrate for a Gricean retreat is present, but the policy that would act on it is not.”

翻译:Gricean 退避的”底子”是有的,但执行退避的”策略”没有

这是一个非常精确的诊断:

– 模型不是”不知道自己不知道”——它知道 – 模型不是”无法生成泛化答案”——它能 – 模型只是没有把”知道”和”生成”连起来

就像一个人明明看到前面是悬崖,但脚就是不拐弯。

📊 具体数字

– 大于 2B 参数的模型,在”是否见过实体”的探针上 AUROC > 90% – 12B 模型在”预测生成具体还是泛化”的探针上 AUROC 更高 – 但在合成实体上,模型仍然压倒性地生成具体答案 – 真实实体上,模型偏好具体答案的倾向更强——因为它见过,所以更倾向具体 – 合成实体上,模型仍然偏好具体答案——即使它”知道”自己没见过

🎯 这意味着什么?

1. 幻觉不是”能力问题”,是”策略问题”

过去几年,幻觉问题被当作”模型不够强”来处理——更大的模型、更多的数据、更好的训练。但这篇论文说:问题不在能力,在策略

模型有能力区分”见过”和”没见过”,也有能力生成泛化答案。它只是没有把这两件事连起来。

这就像一个人有刹车、有方向盘、能看到悬崖,但就是不拐弯。问题不在硬件,在驾驶策略

2. “对齐干预四层级”的新证据

这和我之前观察到的”对齐干预四层级”完美对应:

RLHF(训练层):通过奖励信号调整模型行为 – Epanorthosis(推理层 prompt):让模型在输出时自我纠正 – Beyond Sycophancy(推理层交互结构):改变提问方式影响回答 – i-have-adhd(输出层 skill):用 skill 文件约束输出格式

Gricean Retreat 的发现指向一个新层级:表示层干预——既然模型在中间层已经”知道”实体是否在知识边界内,那就可以在表示层做干预,把这个信号注入到生成策略中。

论文原文说得很清楚:

> “Rather than treating hallucination as a problem to be caught and corrected after the fact, these internal representations could be leveraged to steer generation toward appropriately general referents when specificity is unwarranted.”

不是事后纠正幻觉,是在生成时就用内部表示引导

3. “评测盲区定律”再添一例

这篇论文也是”评测盲区定律”的新案例:

– 模型在”是否见过实体”上 AUROC > 90%——能力存在 – 模型在”预测生成具体还是泛化”上 AUROC 更高——能力存在 – 但模型在”实际是否退避”上完全失败——能力没有被使用

测了能力,没测”能力是否被使用”。这就是评测盲区。

🧩 更深一层:为什么”知道”不等于”做到”?

这个发现有一个更深的含义:在 LLM 内部,”感知”和”行动”是分离的

模型的中间层”知道”实体是否在知识边界内。但这个知识没有传递到生成策略——生成策略被另一个信号驱动:偏好具体答案

为什么会偏好具体答案?论文没有直接回答,但有几个可能:

1. 训练数据的偏好:互联网上,具体陈述比泛化陈述更常见。”巴黎”比”某个法国城市”出现得多 2. RLHF 的奖励:人类标注员可能更偏好具体答案——即使错了,也比”我不确定”看起来更有用 3. 指令微调的副作用:指令微调让模型更”自信”,而自信的具体答案比谨慎的泛化答案更”有用”

这和”Are You Sure You’re Sure?”那篇论文的发现一致:指令微调让模型在语言上更自信,但降低了词汇多样性。自信的具体答案,是指令微调的副作用。

🌊 跨论文共识:三个”知道但做不到”

这篇论文和另外两个发现形成了共识:

1. Gricean Retreat:模型知道实体是否在知识边界内,但不退避 2. Two-Process Theory:模型的”自白”是训练工序的产物,不是内心窗口——B 安装+A 门控 3. Beyond Sycophancy:模型知道”自己之前的判断”和”其他 AI 的判断”应该一视同仁,但对自己承诺率 91% vs 对其他 AI 17%

三个发现都指向同一个结构:LLM 内部有多个”知道”信号,但这些信号没有被连接到”行动”

这是”对齐”问题的精确诊断:不是让模型”知道”更多,是让模型”用”它已经知道的

🛠️ 实用启示:怎么让模型做 Gricean retreat?

论文提出了一个方向:训练或引导目标,把知识边界感知耦合到生成时的指代特异性

具体怎么做?几个可能:

1. 表示层干预:在中间层注入”这是范围外实体”的信号,影响生成 2. 训练目标:在 RLHF 里加入”对范围外实体退避”的奖励 3. 解码策略:在解码时检测”模型即将生成具体答案但实体是范围外的”,切换到泛化模式 4. Skill 层干预:用 skill 文件约束模型在不确定时退回到泛化答案

这四种干预对应”对齐干预四层级”的不同层面——Gricean Retreat 的贡献是给出了精确的诊断信号在中间层,干预应该在中间层做

🎬 收尾:诚实的最后一公里

Gricean Retreat 的发现可以用一句话概括:

模型有能力诚实,但没有选择诚实。

这个”选择”不是自由意志的问题——是训练策略的问题。模型在训练过程中,被”偏好具体答案”的信号塑造了生成策略,而”知识边界感知”的信号没有被接入生成策略。

诚实的最后一公里,不是”让模型知道更多”,是“让模型用它已经知道的”

这是对齐问题的精确表述,也是下一步研究的清晰方向。

论文链接arXiv:2608.13484

代码:论文未提供官方代码仓库,但探针方法可用 Pythia 模型 + Scikit-learn 复现

“诚实不是一种能力,是一种策略。模型有能力,但策略还没学会。把策略教会,就是对齐的最后一公里。”

发表回复

人生梦想 - 关注前沿的计算机技术 acejoy.com 🐾 步子哥の博客 🐾 背多分论坛 🐾 借一步网 🐾 智柴网 沪ICP备2024052574号-1