← 返回 2026-01-06

大型语言模型能否预测自身失败?基于内部电路的自我意识机制 Can LLMs Predict Their Own Failures? Self-Awareness via Internal Circuits

Amirhosein Ghasemabadi, Di Niu 📅 2025-12-23 👍 87 2026-07-13 08:35
内部状态分析 幻觉检测 模型自我意识 自验证 错误预测

Gnosis 让 LLM 通过监控内部隐藏状态和注意力模式,以仅 5M 参数实现自身错误的准确预测

前置知识

隐藏状态(Hidden States)

隐藏状态是 Transformer 模型在每一层生成的向量表示,它编码了输入序列的语义信息。在生成过程中,模型的最后一层隐藏状态 H_last in R^{S x D}(其中 S 是序列长度,D 是隐藏维度)携带了关于整个生成过程的关键信息。不同位置的隐藏状态反映了模型在处理不同 token 时的内部激活模式。研究发现,正确答案和错误答案对应的隐藏状态轨迹存在系统性差异——错误推理通常会导致表示空间中的异常波动或偏移,这些信号可以被提取用于可靠性判断。

理解隐藏状态是读懂本文的基础,因为 Gnosis 的核心创新点之一就是从完整的隐藏状态轨迹中提取可靠性线索,而不是仅依赖 token 概率等表面指标。

注意力图(Attention Maps)

注意力图 A_{l,h} in R^{S x S} 表示在第 l 层、第 h 个注意力头中,每个位置(query)对其他所有位置(key)的权重分配。这些权重揭示了模型的推理路径——它在生成每个 token 时关注了哪些上下文信息。健康的多步推理通常会展现出相对稳定的注意力模式(如对齐的对角结构,表示顺序依赖),而错误推理可能表现为注意力分散、过度集中在无关位置,或在层与层之间出现不一致的跳跃模式。Gnosis 通过分析所有 L 层 H 个头的注意力图,捕捉这些结构性异常信号。

注意力机制是 LLM 推理的核心组件,本文展示了注意力模式与推理质量之间的强相关性,这是 Gnosis 双流架构(隐藏状态 + 注意力)设计的关键依据。

AUROC 和 AUPR

AUROC(Area Under the Receiver Operating Characteristic Curve)衡量分类器将正样本排在负样本之前的能力。对于二分类任务,AUROC = 0.5 表示随机猜测,AUROC = 1.0 表示完美区分。AUPR(Area Under Precision-Recall Curve)则在类别不平衡(如正确答案远少于错误答案)的场景下更可靠。AUPR-c 以正确为正类,AUPR-e 以错误为正类,分别关注发现正确答案和检测错误的能力。在本文的数学推理任务中,模型的准确率通常在 40-60%,即错误和正确样本相对均衡,AUROC 和 AUPR 都能提供有意义的评估。

论文中的核心实验结果都用这些指标来评估 Gnosis 的性能,理解它们才能正确解读 0.95 AUROC 意味着什么——即在 95% 的情况下,Gnosis 给正确答案的分数高于错误答案。

校准(Calibration)

校准是指模型输出的概率与其真实准确率之间的匹配程度。完美校准意味着:当模型说我有 80% 的信心这个答案正确时,在 100 个这样的预测中,确实应该有约 80 个是正确的。本文使用 Expected Calibration Error (ECE) 和 Brier Skill Score (BSS) 来衡量。ECE 越小表示校准越好,BSS > 0 表示优于简单的基线预测(如预测多数类)。LLM 的 token 概率通常存在严重的 miscalibration 问题——模型可能对完全错误的答案输出很高的 token 概率,这被称为自信的幻觉(confident hallucination)。Gnosis 通过学习内部状态的模式,能够产生更好校准的可靠性评分。

校准是可靠性系统的关键指标。论文展示 Gnosis 不仅提升 AUROC,还显著改善了校准(BSS 从负数变为正数),这意味着它的分数可以直接用于高风险场景的决策。

研究动机

大型语言模型在开放式生成和多步推理任务中表现出色,但在评估自身输出的正确性方面却严重不足。模型经常产生自信但错误的答案,无法检测推理错误或幻觉,即使这些失败对外部评估者来说是显而易见的。例如,在数学竞赛题目(AIME 2024/2025)上,1.7B 的 Qwen3 模型仅达到约 45% 的准确率,有近 48% 的生成是错误答案,但模型自身无法识别这些错误。现有的解决方案存在严重缺陷:文本式自批评方法(如让模型检查自己的回答)往往追踪语言流畅性而非推理有效性,在长任务上性能下降;多样本一致性方法通过比较多个生成来估计置信度,但推理成本随样本数线性增长;外部奖励模型(如 SkyworkRM-8B)或判别器 LLM(如 Gemini 2.5 Pro)虽能提供强信号,但需要昂贵的监督数据和额外的解码开销——一个 8B 参数的奖励模型本身就需要数十亿 token 的偏好对进行训练,且每次判断都需要完整的额外前向传播,在长序列(24k token)上延迟可达 2465ms。

本文的目标是本文的核心目标是证明:可靠性信号本质上是内嵌在生成过程中的,可以直接从模型的内部动态中高效提取,而无需依赖外部监督或多次采样。具体而言,作者希望设计一个轻量级机制,让冻结的 LLM 能够通过观察自己的隐藏状态轨迹和注意力路由模式来预测正确性,以可忽略的计算成本(约 5M 参数,25ms 延迟)达到或超过大规模外部判别器的性能。同时,该机制应支持早期失败检测——在部分生成完成时就能预测错误,从而实现计算感知的控制策略(如及时终止失败的推理路径或升级到更强的模型)。

与已有工作不同的是,本文的独特切入角度在于:之前关于内部信号的工作大多依赖于统计特征(如 token 概率熵、平均 token 概率)或单一 token 的快照(如仅分析最终答案 token 的隐藏状态),这些方法遗漏了生成轨迹的完整时空结构。Gnosis 则利用完整的内部动态——跨越整个生成过程的隐藏状态演化序列和所有层的注意力路由模式——来构建可靠性判断。这是一个本质区别:正确性不是某个单一状态的属性,而是整个生成轨迹的特征。此外,本文首次展示了跨尺度零样本转移能力——在 1.7B 模型上训练的 Gnosis 头可以直接用于判断 4B 和 8B 同族模型的输出,且性能接近专门训练的判别器,这表明幻觉是跨模型规模的结构不变量。

核心方法

Gnosis 的设计直觉是:当模型进行正确的推理时,其内部表示会沿着一条健康的轨迹演化,隐藏状态的变化遵循语义连贯的模式,注意力在各层和各头之间展现出稳定、有结构的路由;而当模型犯错或产生幻觉时,内部动态会出现异常——隐藏状态可能偏离典型的表示簇,注意力可能变得分散、不稳定或过度集中。Gnosis 是一个被动的观察者:它读取冻结 LLM 在生成过程中的最后一层隐藏状态和所有层的注意力图,通过两个并行的编码器将它们压缩成固定大小的描述符,然后融合为最终的正确性分数。关键设计原则是长度不变性(Length-Invariance):无论生成序列多长,Gnosis 的计算成本保持恒定,这是通过将变长序列下采样到固定预算实现的。

Gnosis 的核心创新点在于双流架构——同时建模隐藏状态演化轨迹和注意力路由模式,并在固定预算下将它们编码为紧凑描述符。与之前仅使用统计特征或单一 token 探针的方法不同,Gnosis 捕获了完整的时空结构:隐藏状态编码器使用多尺度时序混合来捕捉局部依赖和全局模式,注意力编码器通过下采样和网格处理来建模跨层、跨头的交互。另一个关键创新是固定预算压缩策略:将变长的 H_last 投影池化为 K_hid x D 的固定张量(K_hid = 192),将每个 S x S 的注意力图下采样到 k x k 的固定网格(k = 256),使得后续处理成本与原始序列长度 S 无关。这使得 Gnosis 可以在 25ms 内判断任意长度(包括 24k token)的生成,而外部奖励模型的延迟随序列长度线性增长。

方法步骤详情

Gnosis 的工作流程分为四个步骤。首先,输入提取:从冻结的 LLM 获取最后一层隐藏状态 H_last in R^{S x D} 和所有层的注意力图 A = {A_{l,h}}_{l=1..L, h=1..H},其中 S 是总序列长度(提示词 + 生成),D 是隐藏维度,L 是层数,H 是每层的注意力头数。第二步,固定预算压缩:对于隐藏状态,应用自适应平均池化将序列维度压缩到固定长度 K_hid,得到 H_tilde in R^{K_hid x D};对于注意力图,每个 A_{l,h} in R^{S x S} 被下采样到 k x k 的固定网格,得到 A_tilde = {A_tilde_{l,h}}_{l,h},其中每个 A_tilde_{l,h} in R^{k x k}。第三步,双流编码:隐藏状态通过局部时序编码器(多尺度膨胀卷积 + SE 模块)捕捉局部依赖,然后通过全局集合编码器(Set Attention Block + Pooling by Multihead Attention)聚合为 z_hid in R^{D_HID};注意力通过逐图特征提取器(CNN + 统计特征)得到每个图的 v_{l,h} in R^{d_grid},排列成层-头网格后用轴向卷积和 PMA 聚合为 z_attn in R^{D_ATTN}。第四步,融合与预测:将两个描述符拼接 z = [z_hid; z_attn],通过门控 MLP 映射为标量正确性对数,经 sigmoid 得到概率 p_hat = sigma(GatedMLP_phi(z)) in [0,1]。

技术新颖性

Gnosis 的技术新颖性体现在三个方面。首先,它首次系统性地利用了完整的内部轨迹——之前的内部信号方法要么使用统计特征(如熵、特征值)这类脆弱的启发式规则,要么仅探查最终 token 的隐藏状态,而 Gnosis 同时建模隐藏状态演化的时空模式和注意力路由的结构模式。其次,固定预算架构是设计上的巧妙之处:通过将变长轨迹压缩到固定张量,使得推理成本与序列长度解耦,这在长上下文场景中带来巨大优势(24k token 下比 8B 奖励模型快 99 倍)。第三,跨尺度零样本转移的发现具有理论意义:在 1.7B 模型上训练的 Gnosis 头可以直接判断 4B 和 8B 同族模型的输出,且 AUROC 达到 0.93(对比专门训练的 0.96),这暗示幻觉作为结构不变量在模型尺度间保持。此外,注意力统计分支提供了可解释性——通过测量注意力熵、对角质量、中心-扩散等指标,可以理解什么样的注意力模式对应可靠推理。

Overview of our Gnosis self-awareness mechanism and its performance
Figure 1: Overview of our Gnosis self-awareness mechanism and its performance
2D Embeddings of Features Learned by Gnosis on Math-Reasoning
Figure 4: 2D Embeddings of Features Learned by Gnosis on Math-Reasoning
Gnosis Encoder Architecture Details
Figure 2: Gnosis Encoder Architecture Details

实验结果

在自判断场景下,Gnosis 在三个测试域上都显著优于强基线。在数学推理(AMC12 + AIME 2024/2025 + HMMT Feb 2025)上,对于 Qwen3 1.7B-Hybrid 骨干,Gnosis 达到 0.95 AUROC、0.95 AUPR-c、0.94 AUPR-e、0.59 BSS、0.09 ECE,而 SkyworkRM-Qwen3-8B(参数规模约 1600 倍)仅为 0.90/0.92/0.89/0.39/0.14,Gemini 2.5 Pro 为 0.91/0.88/0.86/0.50/0.11。在开放领域问答上,Gnosis(0.87 AUROC)超过 SkyworkRM-8B(0.84)但略低于 Gemini(0.90),这反映了短事实性问答中注意力信号的贡献较小。在学术知识推理(MMLU-Pro)上,Gnosis(0.80 AUROC)超过 SkyworkRM-Llama3.1-8B(0.65)和 Gemini(0.76),显示出良好的泛化能力。关键的效率优势:Gnosis 的延迟保持在约 25ms,无论响应长度;而 SkyworkRM-8B 在 12k token 响应上需要 930ms,在 24k token 上需要 2465ms——Gnosis 实现了 37 倍和 99 倍的加速。跨尺度零样本转移结果令人印象深刻:在 1.7B 模型上训练的 Gnosis 头用于判断 4B-Thinking 和 8B-Hybrid 的输出,在数学推理上达到 0.93 AUROC(对比专门训练的 0.96/0.95),且仍超过 8B SkyworkRM 的 0.90/0.86/0.86。早期失败检测实验显示:Gnosis 在仅看到 40% 的生成时就能达到接近完整性能的准确率和正 BSS,这使得它可以用于提前终止失败的推理路径,节省计算资源。

Correctness/hallucination detection across domains
Table 1: Correctness/hallucination detection across domains
Comparison with an MLP-Prob baseline on Qwen3 1.7B
Table 2: Comparison with an MLP-Prob baseline on Qwen3 1.7B
Sibling-model judgment across domains
Table 3: Sibling-model judgment across domains
Correctness detection on Math-reasoning for Qwen3 1.7B-Hybrid backbone under two max response lengths (12k, 24k)
Table 4: Correctness detection on Math-reasoning for Qwen3 1.7B-Hybrid backbone under two max response lengths (12k, 24k)
Impact of Dual-Stream Architecture across Benchmarks
Table 5: Impact of Dual-Stream Architecture across Benchmarks
Impact of Per-Map Feature Extractor Choices across Benchmarks
Table 6: Impact of Per-Map Feature Extractor Choices across Benchmarks
Attention Circuit: Hyperparameters
Table 8: Attention Circuit: Hyperparameters
Hidden-state Circuit: Components & Baselines
Table 9: Hidden-state Circuit: Components & Baselines
Backbone outcome rates (%) across evaluation domains
Table 11: Backbone outcome rates (%) across evaluation domains
Early Correctness Prediction on Math-Reasoning
Figure 3: Early Correctness Prediction on Math-Reasoning
Predicted Correctness Score Distributions
Figure 5: Predicted Correctness Score Distributions
2D PCA scatter plots of features learned by Gnosis across three domains
Figure 7: 2D PCA scatter plots of features learned by Gnosis across three domains
查看结构化数据
任务指标本文基线提升
数学推理(AMC12 + AIME 2024/2025 + HMMT) AUROC 0.95 (Gnosis on Qwen3 1.7B) 0.90 (SkyworkRM-Qwen3-8B) +0.05 (+5.6%)
开放领域问答 AUROC 0.87 (Gnosis on Qwen3 1.7B) 0.84 (SkyworkRM-Qwen3-8B) +0.03 (+3.6%)
学术知识推理(MMLU-Pro) AUROC 0.80 (Gnosis on Qwen3 1.7B) 0.65 (SkyworkRM-Llama3.1-8B) +0.15 (+23.1%)
数学推理 BSS(校准) 0.59 0.39 (SkyworkRM-Qwen3-8B) +0.20 (+51.3%)
跨尺度转移(1.7B→8B) AUROC 0.93 0.86 (SkyworkRM-Qwen3-8B) +0.07 (+8.1%)

局限与改进

作者承认 Gnosis 有几个局限性。首先,它被设计为自我意识机制而非通用奖励模型——虽然对同族模型有良好的零样本转移能力,但它不能作为通用判别器用于无关架构或不同生成风格的模型(例如在 Thinking 模型上训练的 Gnosis 转移到 Instruct 模型时性能下降)。其次,Gnosis 不添加独立的世界知识,它通过检测内部轨迹的错误指纹来工作,这意味着它可能难以检测那些内部模式看起来正确但事实上错误的幻觉——例如模型可能以高置信度编造一个事实,其内部表示和注意力的稳定性与正确回答相似。第三,训练依赖于自动标注的二元分类标签,这在某些开放性场景中可能不够精细(例如部分正确的答案如何处理)。此外,我观察到 Gnosis 的性能在不同骨干模型间有差异——在 Qwen3 系列上表现一致,但对 OpenAI gpt-oss-20B 的性能略低(论文未详细说明原因)。

独立分析的弱点

基于独立分析,Gnosis 存在几个可改进的弱点。第一,对短问答任务的注意力信号贡献有限:在 TriviaQA 上,仅使用隐藏状态的 HIDDEN-ONLY 变体(0.87 AUROC)与完整 Gnosis(0.87)几乎相同,这意味着注意力编码器在这类任务上几乎不提供额外价值,浪费了计算资源。未来可以设计自适应架构——根据任务类型动态激活注意力流。第二,注意力统计特征的可解释性尚未充分探索:虽然论文定义了熵、对角质量等统计量,但没有详细分析这些指标与错误类型的具体关联。第三,训练仅使用正确/错误的二元标签,忽略了错误的严重程度(例如计算错误 vs 完全跑题)。改进方向:引入细粒度的错误分类(如推理错误 vs 事实错误 vs 格式错误),使用多任务学习让 Gnosis 同时预测正确性和错误类型,这将提供更丰富的调试信号。第四,跨架构转移的能力尚未验证——论文仅在同族模型(Qwen3)间测试转移,Gnosis 是否能用于判断 Llama、Mistral 等完全不同架构的模型?这需要进一步研究。第五,对于极端长序列(如 100k+ token),固定预算策略可能导致信息损失。改进方向:设计层次化压缩策略,在保留全局结构的同时保留关键位置的高分辨率信息。

未来方向

作者提出了几个未来研究方向。首先是将 Gnosis 扩展到多模态场景——当前的框架仅处理文本,但视觉-语言模型的幻觉可能通过类似内部信号检测。其次,探索 Gnosis 与测试时扩展(Test-Time Scaling)的结合——当 Gnosis 检测到低置信度时,自动触发多样本推理、思维链细化或升级到更强模型,实现计算感知的自适应推理。第三,研究 Gnosis 在训练时监督(Training-Time Guidance)的应用——在 RLHF 或 DPO 训练中,用 Gnosis 作为轻量级奖励模型替代昂贵的奖励模型,降低训练成本。基于本文成果,还可以延伸几个方向:(1)错误类型诊断——扩展 Gnosis 输出细粒度的错误标签(如事实幻觉、推理不一致、计算错误),帮助用户理解和修复错误;(2)对抗性鲁棒性研究——测试 Gnosis 是否能检测对抗性攻击诱导的幻觉;(3)理论分析——深入研究为什么内部轨迹在模型尺度间保持不变,这可能揭示 LLM 泛化的本质规律;(4)端到端集成——将 Gnosis 直接嵌入模型架构,在训练时联合优化生成和自我判断能力,可能进一步提升性能。

复现评估

论文提供了较好的复现支持。作者声称代码和模型将开源(GitHub 链接待发布),这允许社区验证和扩展。训练数据是自动生成的:使用 DAPO-Math-17k 的英语部分(约 14k 竞赛风格问题)和 TriviaQA 训练集的 40k 子样本,完全无需人工标注,这使得复现成本极低。训练过程高效:即使在最大的 gpt-oss-20B MoE 骨干上,完整流程(数据生成 + 训练)在 2×A100 80GB GPU 上仅需约 12 小时,云成本约 25 美元。评估基准是公开的(AMC12、AIME、HMMT、TriviaQA、MMLU-Pro),且论文在附录中提供了骨干模型的原始准确率、幻觉率和无响应率统计,便于其他研究定位基线水平。一个潜在的复现难点是冻结骨干模型的获取——OpenAI gpt-oss-20B 是 2025 年发布的开源模型,但可能需要特定的许可证;不过,Qwen3 系列模型是公开可用的。另一个细节是注意力图的提取:某些推理框架(如 vLLM)可能需要修改才能输出所有层的注意力图。总体而言,复现难度中等偏下,主要挑战在于计算资源(需要大显存 GPU 运行 20B 模型)和注意力图提取的技术细节。