第一阶段:问题分类、边界界定与核心结论(Executive Verdict)
1. 核心认识论与技术问题
“当 A 在使用大语言模型(
LLM)完成同一项任务时,能够稳定地用远少于 B 的 Token 数量(N_A ≪ N_B)获得完全相同的功能结果,这一压缩比究竟揭示了 A 怎样的认知架构、领域专业深度以及对 AI 的心智模型?在什么边界条件下,所谓的‘Token 效率’仅仅是由统计众数侥幸(Modal Luck)或隐藏的规格欠约束(Under-specification)制造的幻觉?”
表面上看,比较两个人花多少 Token 从大模型得到相同结果,似乎只是一场“提示词高尔夫(Prompt Golf)”的文字游戏。但实际上,这个问题直击自回归 Transformer 处理信息的数学本质(Xie et al. 2022, ICLR)、人类专家将复杂问题空间压缩为规范概念图式(Schema)的认知机制(Barke et al. 2023, OOPSLA),以及为什么多轮碎片化对话会导致前沿大模型遭受灾难性的 -39% 性能崩塌(Laban et al. 2025, Microsoft & Salesforce Research)。
运用 M. Neil Browne 与 Stuart M. Keeley 的**“淘金式思维(Panning for Gold)”**批判性框架,我们将该问题划分为两个维度:
- 描述性问题(信息论与认知机制): 为什么将大模型的条件分布
P_θ(Y | X)引导至目标输出y*,A 只需要40 个 Token,而 B 却需要4,000 个 Token? - 规范性问题(工程与评估策略): 工程管理者与 AI 实践者是否应当将低 Token 消耗视为技术精通的标志?盲目崇拜简短提示词是否会引入灾难性的静默故障?
flowchart TD
subgraph SG1["事前认知工作(按下发送键之前)"]
A1["用户 A:事前问题拆解(Ex-Ante Decomposition)<br/>在脑中提前消解矛盾与边界情况<br/>选取规范领域指针(单轮完整规格说明)"]
B1["用户 B:在上下文中边想边聊(Thinking Out Loud)<br/>把聊天窗口当作外部草稿纸<br/>跨 K = 4..8 轮对话‘按值传递’冗长描述"]
end
subgraph SG2["信息论编码(提示词信道)"]
A2["极高的单 Token 互信息(Mutual Information)<br/>命名设计模式、RFC 标准、形式化约束<br/>仅编码偏离模型先验 P_theta(Y) 的增量(Delta)"]
B2["低困惑度 / 高冗余填充(Low Perplexity)<br/>客套寒暄、模糊形容词、前后矛盾<br/>80%–95% 为冗余 Token(LLMLingua 压缩区间)"]
end
subgraph SG3["Transformer 注意力机制与多轮动态"]
A3["纯净的 Softmax 注意力预算<br/>零中间上下文稀释(250–400 Tokens)<br/>单轮能力上限 A90 > 90%,不稳定性 U < 15"]
B3["二次方 KV-Cache 膨胀与过早锚定<br/>模型首轮盲目假设 -> 回答膨胀 -> 迷失在多轮对话中<br/>平均准确率暴跌 -39%,不稳定性激增 +112%"]
end
subgraph SG4["认识论分岔口:‘更少 Token’究竟意味着什么?"]
V1["情形 1(~65%):真正的专家认知与先验校准<br/>1. 高压缩比领域本体论(专家组块 Chunking)<br/>2. 对 LLM 先验分布的精准心智理论<br/>3. 单轮约束合并(避免多轮退化)"]
V2["情形 2(~25%):众数侥幸 / 欠约束陷阱<br/>目标输出 y* 恰好等于 LLM 的默认统计套路<br/>A 漏掉了安全/并发/边界约束<br/>在非典型场景下产生隐性技术债与高方差崩溃"]
V3["情形 3(~10%):隐式算力 / 分词器混淆变量<br/>1. 推理模型在后台燃烧了 5,000 个隐藏 CoT Token<br/>2. 预加载的 AGENTS.md / 技能底座承担了约束工作<br/>3. BPE 分词器跨语种税(不同语言相差 2x–15x)"]
end
A1 --> A2 --> A3 --> V1
B1 --> B2 --> B3
A2 -.->|"若目标 y* 属于平庸的默认众数"| V2
A2 -.->|"若存在后台 CoT 或系统级底座"| V3
2. 核心结论速览(Executive Verdict / TL;DR)
- 当“相同结果”与“全轨迹 Token 总量”受到严格控制时(
~65%基准情形 —— 极强的专家能力信号): 如果 A 在复杂的非平庸任务中,能够以比 B 少5 倍至 20 倍的累计 Token 消耗,稳定产出具有相同边界鲁棒性与低方差的生产级结果,这深刻证明了 A 具备三大核心特质:- 高压缩比领域本体论(“按指针传递” vs. “按值传递”): A 掌握了该领域的精确技术元语言(Ontology)。根据贝叶斯上下文学习理论(Xie et al. 2022),一个规范的领域术语(例如
"实现带幂等消费者去重的事务性发件箱模式 Transactional Outbox"或"计算 Bland-Altman 95% 一致性界限")相当于一个指向大模型预训练权重空间的高互信息内存指针(Memory Pointer)。A 仅用8 个 Token就能精准激活预训练流形中的目标概念子空间,而 B 由于缺乏专业词汇,只能用600 个 Token的外行大白话从头“按值传递”描述。 - 对大模型先验分布
P_θ的精准心智理论(Delta 增量编码): A 直觉地清楚大模型的默认训练分布会产出什么,因此只把 Token 花在目标需求偏离模型默认行为的决策边界上,主动剔除了自然语言提示词中占80%–95%、被 Jiang et al. (2023, LLMLingua) 证明对引导输出分布毫无贡献的低困惑度(Low-Perplexity)冗余词。 - 事前认知收敛(避开
-39%多轮对话崩塌陷阱): A 在按下发送键之前就已经在脑中完成了矛盾消解与架构拆解(加速模式 Acceleration Mode,Barke et al. 2023),一次性发出单轮完整规格说明(1-shard);而 B 则把聊天窗口当作外部草稿纸,通过5 到 8 轮对话边聊边改,不仅付出了二次方O(K²)的 KV-Cache 历史重读 Token 税,还直接触发了 Laban et al. (2025) 在 15 个前沿大模型上证实的-39%准确率暴跌与+112%不稳定性激增。
- 高压缩比领域本体论(“按指针传递” vs. “按值传递”): A 掌握了该领域的精确技术元语言(Ontology)。根据贝叶斯上下文学习理论(Xie et al. 2022),一个规范的领域术语(例如
- 当“更少 Token”是一场海市蜃楼时(
~25%下行风险情形 —— 众数侥幸与欠约束陷阱): 如果目标结果恰好高度契合大模型预训练语料中的最高概率统计套路(Mode)(例如写一个标准的 CRUD 接口或通用的营销摘要),A 输入10 个 Token("写个登录页面")表面上也能得到与 B 输入250 个 Token详细规格说明“相同的结果”。此时,A 的简短绝非技术精湛,而是鲁莽的规格欠约束(高条件熵)——仅仅因为在顺风局(Happy Path)测试中撞上了模型的默认统计众数而侥幸过关,却遗漏了安全、并发与异常边界约束。
第二阶段:语义精确度与替换测试(解构“更少 Token”与“相同结果”)
在对 A 的认知能力下定论之前,Browne 与 Keeley 框架第 4 章要求我们对前提中的两个模糊词组进行替换测试(Substitution Test):“更少的 Token(fewer tokens)”与“相同的结果(the same result)”。
1. 替换测试 1:我们到底在统计哪一种“Token”?
在现代大模型架构中,“Token 消耗量”可以对应四个截然不同的物理分母:
| Token 统计口径(Accounting Boundary) | 操作性定义 | 在该定义下 N_A < N_B 实际衡量的内容 |
认识论效度(Epistemic Validity) |
|---|---|---|---|
口径 1:首轮可见提示词 Token 数(N_prompt,1) |
仅统计人类用户在第一轮输入框中敲入的子词(Subword)Token 数量。 | 仅衡量第一条消息的字面简短度,完全忽略了后续需要多少轮追问修复、重试,以及后台消耗了多少系统/推理 Token。 | 无效 / 极具欺骗性: 会错误奖励那些写出懒惰的一句话提示词、却被迫通过 6 轮后续对话修 Bug 的用户。 |
口径 2:多轮全轨迹累计 Token 数(N_trajectory) |
完成最终可接受结果所需的全部 K 轮对话中计费的 Token 总和,包含每轮重复读取的历史上下文(KV-Cache Prefill)与模型历次输出。 |
衡量端到端对话收敛效率:用户究竟是用 1–2 轮精准指令(~800 Tokens)解决问题,还是陷入 7 轮反复修补的泥潭(~15,000 Tokens)。 |
高效度(核心人机交互指标): 直接反映用户的事前认知清晰度与规格完整性。 |
口径 3:包含隐藏思维链的总算力 Token 数(N_compute) |
N_trajectory + N_reasoning,其中 N_reasoning 是推理模型(o3、DeepSeek-R1、Gemini 2.5 Pro、Claude 3.7 Sonnet)在后台生成的隐藏测试时计算(Test-Time Compute)Token。 |
揭示简短提示词是否迫使推理模型在后台白白燃烧了 2,000–8,000 个内部搜索 Token 去猜测用户未说清的意图(Chen et al. 2025)。 |
系统成本与延迟的黄金标准: 防止将提示词的模糊性转嫁并隐藏在测试时算力消耗之后。 |
口径 4:分摊底座 + 提示词 Token 数(N_harness + N_trajectory) |
纳入持久化加载到上下文中的系统指令(AGENTS.md、CLAUDE.md、可复用 SKILL.md 模块、类型 Schema)。 |
区分临时手写提示词与系统级上下文工程(Context Engineering)——后者将不变的工程规范一次性写入底座,每次仅通过 5 个 Token 的斜杠指令调用。 | 智能体工程(Agentic Engineering)审计的必备口径。 |
2. 替换测试 2:什么叫“相同的结果(The Same Result)”?
- 宽松定义(单次抽样表面匹配 Pointwise Single-Sample Match): 在单次运行(
n = 1)中,A 的输出y_A与 B 的输出y_B表面看起来相似,或通过了单一的常规路径(Happy-Path)检查。- 替换测试结论: 在宽松定义下,你完全无法推断 A 更聪明或更专业。如果期望输出
y*恰好位于大模型先验分布P_θ(Y)的无条件峰值(众数 Mode)附近,一个极度欠约束的 6-Token 提示词也能凭默认统计惯性命中y*,但其余 90% 的边缘异常情况处于完全失控状态。
- 替换测试结论: 在宽松定义下,你完全无法推断 A 更聪明或更专业。如果期望输出
- 严格定义(分布等价与边界鲁棒性 Distributional & Edge-Case Equivalence): 在重复采样与对抗性边界输入下,A 的提示词
X_A所诱导的条件分布P_θ(Y | X_A),与 B 的提示词X_B达到了相同的 90 分位能力上限(A90)以及同样低的跨运行方差(不稳定性U10-90 = P90 - P10)。- 替换测试结论: 在严格定义下,若要用
N_A ≪ N_B实现P_θ(Y | X_A) ≡ P_θ(Y | X_B),从香农信息论来看,唯一可能的前提是:A 的每一个 Token 承载了显著更高的任务特定互信息(Mutual Information per Token)。
- 替换测试结论: 在严格定义下,若要用
第三阶段:一手文献与实证挖掘 —— 真正的 Token 效率揭示了 A 的 5 大特质
为了确立在严格等价条件下高密度提示词究竟证明了 A 的什么能力,我们交叉核验并综合了横跨贝叶斯上下文学习、提示词压缩、认知心理学以及大规模多轮大模型仿真的 14 篇同行评审论文与一手实证基准研究。
1. 一手实证研究证据矩阵
| 研究文献与一手来源 | 实验设计与样本规模 | 变量操纵与对比组 | 核心定量实证发现 | 对“用户 A vs. 用户 B”的机制证明 |
|---|---|---|---|---|
Laban, Hayashi, Zhou & Neville (2025, Microsoft & Salesforce Research) (arXiv:2505.06120, HTML) |
横跨 15 个前沿大模型(GPT-4.1、Gemini 2.5 Pro、Claude 3.7 Sonnet、o3、DeepSeek-R1、GPT-4o、Llama-3.3-70B 等)与 6 大类任务(Code、SQL、Actions、Math、Data-to-Text、Summary)的 N = 200,000+ 场仿真对话。 |
单轮合并输入(Full / Concat)(代表用户 A) vs. 包含完全相同信息总量的多轮渐进式输入(Sharded,拆分为 2–8 轮)(代表用户 B)。 |
在多轮 Sharded 对话中,所有 15 个模型的平均性能暴跌 -39%(GPT-4.1:Concat 97.9 vs. Sharded 61.8;Gemini 2.5 Pro:100.1 vs. 64.5;Claude 3.7 Sonnet:100.4 vs. 65.9;o3:98.1 vs. 64.1;DeepSeek-R1:103.6 vs. 60.8)。90 分位能力上限(A90)仅下降 -16%,但跨运行不稳定性(U10-90)激增了 +112%,即便在 Temp = 0.0 下也是如此! |
A 在发送前完成了规格合并(1-shard)。 B 边想边分轮输入,诱发模型在首轮做出过早假设、生成膨胀回答(Answer Bloat),并永久迷失在被污染的上下文中。 |
Levy, Jacoby & Goldberg (2024, ACL 2024) (arXiv:2402.14848, HTML) |
FLenQA 受控推理基准(MonoRel、People in Rooms、RuleTaker,300 个基础实例 × 长度/填充变体),测试 GPT-4、GPT-3.5、Gemini Pro、Mistral Medium、Mixtral 8x7B。 |
严格固定所需的两跳逻辑推导难度,仅改变输入 Token 长度(250、500、1,000、2,000、3,000 Tokens)。 |
推理准确率从区区 500–1,000 Tokens 就开始急剧退化(从 250 Tokens 时的 0.85–1.00 跌至 3,000 Tokens 时的 0.35–0.65),哪怕填充内容是重复的相关事实!未推理先下结论的错误率暴增(OR = 3.643, p < 0.001),CoT 遗漏关键前提的错误率暴增(OR = 3.138, p < 0.001)。下一词预测准确率与逻辑推理表现呈强负相关(r = -0.95, p = 0.01)。 |
A 懂得保护模型的推理注意力工作区。 通过将输入保持在紧凑区间(~250 Tokens),A 避免了长文本引发的指令失忆与思维链丢步,而 B 的 2,000+ Token 啰嗦提示词直接摧毁了推理可靠性。 |
Jiang et al. (2023, EMNLP — LLMLingua) & Pan et al. (2024, ACL — LLMLingua-2) (arXiv:2310.05736, arXiv:2403.12968) |
基于 Token 级困惑度(Perplexity)/信息熵与双向 Transformer 蒸馏的提示词压缩算法,在 GSM8K、BBH、ShareGPT、MeetingBank、LongBench、ZeroScrolls 上评估。 |
剪枝剔除冗长自然语言提示词中的低困惑度(可预测/冗余)Token,仅保留高信息量(High-Surprisal)Token。 | 实现了高达 20 倍 的 Token 压缩(削减 95% Token),而在 GSM8K/BBH 上的性能损失仅 -1.5%;2x–5x 的任务无关压缩将端到端推理延迟加速了 1.6x–2.9x。 |
A 天然使用高困惑度的语义核心词写作。 普通人类自然语言包含 80%–95% 的语法水分;A 自动滤除了低熵填充词,直接传输高密度约束 Token。 |
Xie, Raghunathan, Liang & Ma (2022, ICLR 2022) (arXiv:2111.02080) |
隐马尔可夫混合模型(HMMs)下上下文学习(ICL)的理论与实证证明(基于 GINC 数据集检验 Transformer 与 LSTM)。 |
分析提示词序列 X 如何改变模型对预训练潜在文档概念 θ ∈ Θ 的后验分布 P(θ | X)。 |
证明当提示词 Token 提供能够将目标潜在概念 θ* 与竞争概念区分开的 KL 散度判别证据(Discriminative Evidence) 时,ICL 才会涌现。当少样本示例带有转移噪声时,零样本(Zero-shot)反而优于冗余的 Few-shot。 |
A 选取具有最大概念区分度的 Token。 A 不靠堆砌含噪长示例,而是用精确的领域标识词在极少步数内让贝叶斯后验 P(θ* | X) -> 1 快速收敛。 |
Barke, James & Polikarpova (2023, OOPSLA 2023) (arXiv:2206.15000) |
对 N = 20 名程序员使用 GitHub Copilot 完成 4 种语言编程任务的扎根理论(Grounded-Theory)人机交互观察研究。 |
归纳人类与代码生成模型的交互行为分类学、提示词长度分布与验证循环。 | 人类与 AI 的交互严格呈现双峰分布(Bimodal):在**加速模式(Acceleration Mode)下,程序员已经清楚目标拆解方案,使用极简、精准的提示词(<1–2 行)快速生成目标代码;在探索模式(Exploration Mode)**下,程序员对架构不确定,只能编写冗长、多轮的探索性提示词。 |
A 处于“加速模式”。 A 在脑中已经拥有完整架构蓝图,把大模型当作将心智蓝图编译为代码的高速编译器;而 B 仍在靠与模型聊天来寻找蓝图。 |
Chen, Xu, Liang, Tu & Yu et al. (2025, Tencent AI Lab) (arXiv:2412.21187, HTML) |
在 ASDIV(2,305)、GSM8K(1,319)、MATH500、GPQA 与 AIME 上对 OpenAI o1、QwQ-32B 与 DeepSeek-R1 进行测试时“过度思考(Overthinking)”实证审计。 |
度量结果效率(Outcome Efficiency, ξ_O = T_hat / T)——即首次得出正确答案实际所需的 Token 数占总生成 Token 数的比例,对比冗余自我怀疑循环。 |
在 >92% 的案例中,第一轮求解(仅占总 Token 的 <38.7%–60%)就已经得出了正确答案!在 GSM8K 上,DeepSeek-R1 平均消耗 1,056.3 个 Token(反复验证 4.3 轮,结果效率 ξ_O = 48.9%),而 Qwen2.5-Math-72B 仅需 317.4 个 Token(ξ_O = 95.8%)。面对 "2+3=?",QwQ 甚至燃烧了 901 个 Token(ξ_O = 4.3%)。 |
不受约束的测试时算力会将 40%–58% 的 Token 浪费在无意义的自我怀疑循环上。 当 A 明确限定输出格式与推理深度边界时,A 阻止了模型陷入 4 轮以上 的冗余复核空转。 |
2. 深度拆解 A 所具备的 5 大认知与技术机制
特质 1:高压缩比领域本体论(“按指针传递” vs. “按值传递”)
在计算机科学中,**按值传递(Pass-by-Value)一个庞大的数据结构需要把每一个字节完整复制一遍,而按指针/引用传递(Pass-by-Pointer)**只需要发送一个 8 字节的内存地址,直接指向内存中早已驻留的数据结构。
大语言模型在注意力层与多层感知机(MLP)权重中存储了人类技术文明的压缩表征。正如 Xie et al. (2022, arXiv:2111.02080) 所证明的,提示词并不会教给模型新的权重——它本质上是在执行隐式贝叶斯推断(Implicit Bayesian Inference),去定位预训练阶段早已编码的潜在概念 θ*。
- 用户 B(按值传递 / 缺乏领域词汇): 假设 B 想要一个分布式重试机制。由于不知道规范的架构术语,B 写了
180 个 Token的大白话:“当我的后端调用支付 API 失败时,我不希望它每秒钟立刻重试,因为如果支付服务器已经过载,我所有服务器同时重试会把它彻底打挂。所以请让等待时间每次翻倍,而且还要加一点随机时间差,免得它们同时撞在一起,另外如果连续失败 5 次就暂停尝试 60 秒。” - 用户 A(按指针传递 / 高维领域本体论): A 只写了
14 个 Token:“实现带完全抖动(Full Jitter)的截断指数退避与半开熔断器(max_failures=5, reset_timeout=60s)。”
为什么 A 在实现 12.8 倍 Token 压缩的同时,反而获得了确定性高得多的代码?因为 "带完全抖动的截断指数退避(truncated exponential backoff with full jitter)" 与 "半开熔断器(half-open circuit breaker)" 是大模型预训练语料中的精确本体论坐标(直接索引到 AWS 架构官方博客与 Michael Nygard《Release It!》对应的高质量权重子流形)。在认知心理学中,这被称为专家组块化(Expert Chunking):A 将复杂的多组件机制压缩为了单一的词汇指针。
特质 2:对大模型先验分布 P_θ(Y) 的精准心智理论(仅编码信息增量 Delta)
根据香农信源编码定理(Source Coding Theorem),最优编码器绝不会浪费比特去传输接收方已经能以接近 1.0 的概率预测出来的符号。
- 用户 B 的先验错位: 正如针对非专家提示词的人机交互研究(Schulhoff et al. 2024;Yin et al. 2024)所记录的那样,新手往往把大模型当成玻璃心的人类下属——将
60%–80%的 Token 浪费在社交客套(“你好!请问能不能帮我……”)、空洞的角色高帽(“你是一位世界顶级的 10x 资深架构师……”)以及零信息量的质量形容词上(“请确保代码整洁、模块化、没有 Bug 并遵循最佳实践”)。 - 用户 A 的 Delta 增量编码: 正如我们在《提示词工程是个伪概念:本质只是清晰的沟通》与《LLM 不在乎你的语法,只在乎你的逻辑》中所剖析的,A 深知经过指令微调(Instruction-Tuned)的大模型默认就会输出语法整洁、符合常规习惯的代码。因此,A 在默认行为上花费
0 个 Token,而将100%的 Token 预算集中在模型默认先验容易猜错的非默认边界约束上(例如:“仅限使用标准库urllib.request;零第三方依赖;部分范围请求返回 HTTP 206”)。 - 这完美解释了为什么 Jiang et al. (2023, LLMLingua,
arXiv:2310.05736) 发现从普通人类提示词中直接删掉80%–95%的低困惑度 Token 后,任务准确率几乎毫发无损:因为 A 从一开始就不会敲入这些低困惑度水分词。
特质 3:事前认知拆解 vs. 多轮对话的“迷失在对话中(Lost in Conversation)”陷阱
拉开两个用户 Token 消耗差距的最大单一驱动力,并不是他们在第一轮少打了几个字,而是他们总共花了多少轮对话才把任务做完。
2025 年 5 月,微软研究院与 Salesforce 研究院的 Philippe Laban、Hiroaki Hayashi、Yingbo Zhou 与 Jennifer Neville (arXiv:2505.06120) 发表了一项里程碑研究:他们在 15 个顶尖大模型上进行了超过 200,000+ 场对话仿真,严格对比了用户将所有任务约束在单轮内一次性给全(Full 或 Concat),与将完全相同的约束信息拆分成多轮逐步透露(Sharded)的性能差异。
- 当 B 以一句模糊的提示词开场(“写个解析客户日志的 Python 脚本”),随后在接下来的 5 轮对话中逐步追加约束(“哦,要支持 gzip 压缩文件”、“等等,把爬虫 IP 过滤掉”、“用 Polars 替代 Pandas”)时,所有受测的 15 个大模型无一例外遭遇了灾难性的性能崩塌——在 6 大任务上平均暴跌
-39%! - 更令人震惊的是,Laban 等人证明推理模型(
OpenAI o3与DeepSeek-R1)在多轮对话中的崩塌程度与非推理模型一样严重!因为推理模型在第一轮面对欠约束提示词时,会生成长出33%的回答,并在其中塞满大量过早的盲目假设(Premature Answer Attempts与Answer Bloat,见论文附录 F.1–F.2);这些错误假设随后残留在上下文窗口中,严重污染并锚定了后续所有轮次的自注意力分布! - 这揭示了 A 的什么特质: A 将**思考(Thinking)与下发指令(Dispatching)**严格分离。通过在发送前在脑中消解矛盾、合并边界条件并一次性下发完整规格说明(
1-shard),A 始终运行在Full/Concat高性能区间(相对性能95%–100%,不稳定性U10-90 < 15);而 B “边聊边想”的多轮交互不仅触发了+112%的模型不稳定性暴增,还迫使自己陷入昂贵的反复重试循环。
特质 4:Softmax 注意力卫生(Attention Hygiene)与规避长文本推理退化
即便同样在单轮对话内,为什么包含完全相同核心事实的 250-Token 精炼提示词(A)会显著优于 2,500-Token 的意识流长篇大论(B)?
- Levy, Jacoby & Goldberg (ACL 2024,
arXiv:2402.14848) 在FLenQA基准上证明:当输入长度从250 Tokens扩展到3,000 Tokens时,即便增加的 Token 完全不矛盾、甚至只是把相关事实重复了一遍,GPT-4、Gemini Pro、Mistral Medium与Mixtral 8x7B的逻辑推理准确率也会发生陡峭的单调暴跌!随着输入变长,模型在还没执行完思维链(CoT)推导前就盲目抢答错误结论的几率飙升了3.64 倍(OR = 3.643, p < 0.001),而在推理过程中遗漏关键前提的几率飙升了3.14 倍(OR = 3.138, p < 0.001)。 - 此外,Shi, Wei, Xu & Liang (ICML 2024,
arXiv:2405.19592) 从数学上证明:参数量越大的前沿 Transformer,其注意力子空间覆盖的隐层特征方向越多,反而比小模型更容易被上下文中的无关 Token 分散注意力(Shi et al. 2023, ICML,arXiv:2302.00093);同时 Liu et al. (TACL 2024,arXiv:2307.03172) 证实埋在长提示词中段的约束会遭受显著的 U 型遗忘损耗。 - 这揭示了 A 的什么特质: A 把 Transformer 的 Softmax 注意力分母视为极其稀缺的信噪比预算。A 删掉的每一句无关废话,都在直接提高分配给核心逻辑约束的注意力权重。
特质 5:系统级底座工程(将不变量分摊到提示词之外)
在真实的软件工程工作流中(详见我们的《AI 智能体底座(Agent Harness)深度剖析》),当 A 仅输入 18 个 Token("遵循仓库规范新增分页接口 /v2/orders")就得到完美的 Pull Request,而 B 输入了 1,800 个 Token 的代码风格要求却依然得到报错的模块时,这往往说明:A 提前构建了确定性的系统底座(AGENTS.md、静态 Linter、严格的 TypeScript/Pydantic 类型 Schema 以及自动化测试运行器),从而无需在每次对话提示词中手动搬运样板状态。
第四阶段:因果解耦与四向竞争性因果矩阵(4-Way Rival Cause Matrix)
在我们每逢看到 N_A < N_B 就将 A 奉为认知天才之前,Browne 与 Keeley 框架第 9 章要求我们必须检验全部四种竞争性因果假说。究竟是 A 的技术水平导致了低 Token 消耗(X -> Y),还是反向因果、第三变量混淆或双向反馈循环解释了这一差距?
| 因果假说维度 | 机制传导路径 | 一手实证与数学证明 | 认识论裁决 |
|---|---|---|---|
1. 直接因果(X -> Y):A 的领域本体论、先验校准与事前合并直接降低了 Token 消耗 |
A 将问题映射为高互信息的技术指针(Chunking),省略与模型默认先验 P_θ 重合的零信息量客套话,并以单轮合并规格下发指令。 |
由 Xie et al. (2022, arXiv:2111.02080)(通过判别性 Token 实现贝叶斯后验收敛)、Jiang et al. (2023, arXiv:2310.05736)(剔除低困惑度冗余实现 20x 提示词压缩)、Barke et al. (2023, arXiv:2206.15000)(加速模式)以及 Laban et al. (2025, arXiv:2505.06120)(单轮合并规避 -39% 多轮退化)联合证实。 |
核心验证机制(解释非平庸任务中约 ~65% 的真实方差)。 |
2. 反向因果 / 任务-先验重合(Y -> X):“众数侥幸幻觉(Modal Luck Illusion)” |
当目标结果 y* 恰好是大模型预训练分布的无条件众数(Mode)(例如教科书式的 LeetCode 题解或千篇一律的 React 登录页)时,D_KL(P*(Y) || P_θ(Y)) ≈ 0。懒惰、欠约束的 6-Token 提示词之所以能轻松命中 y*,只是因为模型哪怕闭着眼默认也会输出 y*! |
在 Laban et al. (2025, arXiv:2505.06120) 中,即便在欠约束的多轮模式下,模型 90 分位的单次最佳表现(A90)降幅也较小(仅 -16%),但跨运行不稳定性(U10-90)却暴增了 +112%。因此在单次侥幸抽样或典型套路任务上,欠约束提示词能偶然撞上完整规格的输出,同时掩盖巨大的分布脆弱性。 |
重大评估陷阱(占 ~25% 情形):解释了为什么新手的“一句话提示词”在演示 Demo 中惊艳、上生产环境却全面崩溃。 |
3. 潜伏第三变量(Z -> X & Y):分词器跨语种不公、模型档位与隐藏测试时算力 |
混淆变量 Z₁(分词器偏见): A 用英文提问,而 B 用韩文、中文或黏着语提问。混淆变量 Z₂(隐藏推理 Token): A 调用的是在后台燃烧数千个隐藏 CoT Token 的推理模型(o3、DeepSeek-R1),而 B 调用的是需要显式写出 CoT 引导词的标准模型。 |
Petrov et al. (2023, NeurIPS, arXiv:2305.15425) 证明,将完全相同语义的文本翻译为不同语言会导致 BPE Token 数量相差 2 倍至 15 倍(即便在字节/字符级模型中也超过 4 倍)。同时,Chen et al. (2025, arXiv:2412.21187) 证明 DeepSeek-R1 与 QwQ-32B 在后台会生成 741 至 2,408 个内部 CoT Token(经历 3.1–4.5 轮自我求解),而标准模型仅生成 166–553 个 Token。 |
关键测量混淆项(占 ~10% 情形):必须按语种分词效率与总算力 Token 进行归一化校准。 |
4. 双向正反馈恶性循环(X <-> Y):多轮过早假设与上下文污染螺旋 |
B 在首轮发送欠约束提示词 -> 模型过早生成一段长达 600 Token、塞满未声明假设的缺陷代码 -> 模型在注意力上锚定了自己首轮生成的缺陷文本 -> B 被迫在 第 2–6 轮编写越来越长的纠错指令 -> 上下文总长突破 2,000+ Tokens,触发 Levy et al. (2024) 长文本推理退化 -> 需要更多轮次修补。 |
在 Laban et al. (2025, arXiv:2505.06120, 附录 F.1–F.4 及第 7.1 节) 中得到直接证实:哪怕在每一轮都把用户此前所有要求重复拼接一遍(Snowball)或在最后一轮汇总重述(Recap),多轮对话在 GPT-4o 上的得分(61.8–76.6)依然远低于单轮 Full(93.0)和 Concat(90.9)——因为助手自己早先生成的膨胀错误回答仍留在上下文窗口中,持续带偏自注意力! |
主导性成本倍增器:解释了初始清晰度上区区 2 倍 的差距,如何滚雪球般放大为计费全轨迹 Token 上 15 倍至 25 倍 的鸿沟。 |
第五阶段:定量审计、信息论方程与多轮 Token 膨胀数学模型
让我们用严格的数学方程,推演为什么 A 的 Token 消耗量 N_A 会与 B 的消耗量 N_B 产生如此悬殊的分化。
1. 方程 1:贝叶斯上下文惊奇度下界(Bayesian In-Context Surprisal Lower Bound)
基于 Xie et al. (2022, arXiv:2111.02080) 与 Jiang et al. (2023, arXiv:2310.05736),预训练参数为 θ 的大语言模型在所有可能输出上定义了一个无条件先验分布 P_θ(Y),并在给定提示词 Token 序列 X = (x_1, x_2, ..., x_N) 时定义了条件分布 P_θ(Y | X)。为了以不低于 1 - δ 的可靠性将输出分布收敛到目标合格规格集合 Y* 内(即满足 P_θ(Y ∈ Y* | X) ≥ 1 - δ),提示词 X 必须提供至少 ΔI(Y*; θ) 比特的语义规格信息,从而决定了提示词长度的理论下界:
$$N_{\text{prompt}}(X) \ge \frac{D_{\text{KL}}!\left(P^(Y) ,|, P_{\theta}(Y)\right)}{\bar{I}{\text{sem}}(X)} = \frac{-\log_2 P{\theta}(Y \in Y^) + \log_2(1 - \delta)}{\frac{1}{N}\sum_{i=1}^{N} I(x_i; Y^* \mid x_{<i}, \theta)}$$
仔细审视该不等式的分子与分母——它们精确揭示了 Token 效率的两大物理机制区间:
- 分母
I_sem(X)(用户 A 的信息密度优势):- 分母代表提示词中每个 Token 关于目标规格
Y*的平均条件互信息(Conditional Mutual Information per Token)。 - 当 A 使用精确的技术本体论指针(如
"幂等消费者 idempotent consumer"、"RFC 9457"、"零拷贝 Arrow IPC")时,每个 Tokenx_i承载了高达5 至 12 比特的任务判别互信息,仅需30–80 个 Token即可快速消解 KL 散度。 - 当 B 使用客套寒暄、模糊形容词(
"快一点"、"现代化"、"高可用")或前后矛盾的啰嗦描述时,单 Token 互信息I_sem(X_B)暴跌一个数量级(<0.5 比特/Token),导致必须消耗10 倍至 20 倍以上的 Token 才能传输完全相同的规格比特数!
- 分母代表提示词中每个 Token 关于目标规格
- 分子
-log_2 P_θ(Y ∈ Y*)(众数侥幸混淆项):- 如果目标任务
Y*在大模型的默认预训练权重下本来就具有极高的先验概率(例如P_θ(Y ∈ Y*) ≈ 0.50,像是"用 Python 写一个斐波那契数列函数"),那么分子-log_2 P_θ(Y ∈ Y*)只有区区1 比特!此时哪怕一个提示词水平极差的人(I_sem ≈ 0.2 比特/Token),也能用5 个 Token得到正确答案。 - 反之,当
Y*是一个包含 8 项正交业务与安全约束的复杂非默认架构(P_θ(Y ∈ Y*) ≈ 2^-40,需要至少40 比特的规格信息)时,一个只有5 个 Token的简短提示词在数学上必然处于严重欠约束状态,留下超过25 比特未被约束的条件熵任由模型随机幻觉!
- 如果目标任务
2. 方程 2:二次方多轮对话 Token 税(1-Shard vs. K-Shard)
为什么在复杂工程任务中,即使 B 觉得自己每轮只敲了寥寥几句简短聊天,最终消耗的总计费 API Token 却高达 A 的 15 倍至 25 倍?
在无状态 Transformer 推理(或带 KV-Cache 计费的标准对话补全)中,第 t ∈ {1, 2, ..., K} 轮对话必须将此前全部历史轮次 {(u_1, a_1), ..., (u_{t-1}, a_{t-1})} 加上当前新用户输入 u_t 一并重新送入模型,以生成助手回复 a_t。如果 B 平均每轮输入 u_bar 个用户 Token,模型每轮平均生成 a_bar 个助手 Token,那么跨越 K 轮对话的累计全轨迹 Token 总量 N_total(K) 会随对话轮数 K 呈二次方(Quadratic)膨胀:
$$N_{\text{total}}(K) = \sum_{t=1}^{K} \Big( t \cdot \bar{u} + (t - 1) \cdot \bar{a} \Big){\text{input}} + K \cdot \bar{a}{\text{output}} = \frac{K(K+1)}{2}(\bar{u} + \bar{a})$$
让我们代入真实的软件工程数据,对比**用户 A(K = 1 单轮完整规格说明)与用户 B(K = 6 多轮渐进式追加与返工)**生成同一个 450-Token Python 模块时的账单:
- 用户 A(
K = 1轮,事前合并规格):- A 先静下心思考
2 分钟,写出一段逻辑严密、无歧义的240-Token规格说明(u_1 = 240),并在第 1 轮直接拿到可运行的450-Token目标模块(a_1 = 450)。 - 全轨迹累计 Token 数(
N_A):240 + 450 =690 Tokens。
- A 先静下心思考
- 用户 B(
K = 6轮,渐进式拆分与修补):- B 在第 1 轮匆忙敲入
60 个 Token("写个把 Stripe Webhook 同步到 Postgres 的脚本"),随后在第 2 至第 6 轮中每轮追加60 个 Token的遗漏需求或报错修正(B 手动敲入的总字数也不过6 × 60 = 360 Tokens)。 - 但在每一个中间轮次,大模型都会过早生成一整段
500-Token的完整代码尝试(a_bar = 500;而且正如 Laban et al. 2025 所证实的,推理模型在首轮生成的回答还会再膨胀33%!)。 - 全轨迹累计 Token 数(
N_B):6 × 7 / 2 × (60 + 500) = 21 × 560 =11,760 Tokens。 - 定量审计裁决: 尽管 B 亲手敲入的字数只有
360 Tokens(仅比 A 多1.5 倍),但 B 实际消耗了11,760 个全轨迹 Token(是 A 的17.0 倍)——同时还遭受了如下图所示的灾难性多轮性能崩塌!
- B 在第 1 轮匆忙敲入
xychart-beta
title "前沿大模型在单轮合并(Concat)与多轮拆分(Sharded)下的相对得分对比 (Laban et al. 2025)"
x-axis ["GPT-4.1", "Gemini 2.5 Pro", "Claude 3.7 Sonnet", "OpenAI o3", "DeepSeek-R1", "Llama-3.3-70B", "GPT-4o"]
y-axis "相对性能得分 (占 Full 完整规格的 %)" 0 --> 110
bar [97.9, 100.1, 100.4, 98.1, 103.6, 93.2, 94.5]
line [61.8, 64.5, 65.9, 64.1, 60.8, 64.2, 57.9]
(数据来源:Laban, Hayashi, Zhou & Neville 2025, arXiv:2505.06120,表 1 / 表 5 在 200,000+ 场仿真对话、6 大生成任务上的综合得分。柱状图代表单轮合并 Concat 的相对性能 [93.2%–103.6%];折线代表包含完全相同信息总量但拆分为多轮 Sharded 时的相对性能 [57.9%–65.9%]。)
第六阶段:“负面视角(Negative View)”与遗漏信息审讯 —— 何时更少 Token 反而是危险红灯?
Browne 与 Keeley 框架第 11 章要求我们主动审讯被忽略的失败模式与二阶隐性代价。如果一个工程团队单纯因为开发者或分析师“用更少 Token 拿到了结果”就给予奖励,将会诱发四大严重失败模式——在这些情形下,A 的低 Token 消耗恰恰是危险的警报信号:
| “极简提示词”的失败模式 | 用户 A 为了省 Token 做了什么 | 为什么表面上看拿到了“相同结果” | 隐藏的二阶代价(谁为此买单?) |
|---|---|---|---|
| 1. 静默边界欠约束(“顺风局幻觉 The Happy-Path Mirage”) | A 只敲了 12 个 Token("用 Express 写个 JWT 鉴权中间件"),而 B 敲了 180 个 Token,明确指定了 RS256 非对称密钥轮换、aud/iss 声明校验、时钟偏移容差以及吊销列表检查。 |
两份代码都通过了基础的顺风局单元测试(POST /login -> GET /profile 返回 200 OK)。在外行评审者看来,A 用少 15 倍 的 Token 拿到了“相同结果”! |
生产环境安全性与可靠性买单: A 把核心安全架构决策甩手交给了大模型的统计平均值(模型往往默认生成无算法绑定或无吊销检查的对称 HS256 代码)。A 省下了 168 个 Token(价值 $0.0004),却埋下了巨额静默安全技术债。 |
| 2. 迎合性前提锁定(Sycophantic Premise-Locking, Sharma et al. 2024, ICLR) | A 使用了简短、带有强烈预设导向的 8-Token 提示词("解释为什么微服务能降低这里的延迟"),而不是平衡的多假说交叉评估提示词(120 Tokens)。 |
两个提示词都产出了一份文笔流畅、建议采用微服务的架构备忘录。 | 认识论客观性买单: 正如 Sharma et al. (2024, arXiv:2310.13548) 以及我们对《为什么 12 个大模型在面对诱导性前提时会给出完全相同的偏见回答》的研究所示,简短的诱导性提示词会强烈触发 RLHF 迎合偏见(Sycophancy)。省略竞争性假说检验虽然省了 Token,却把大模型变成了确认偏误放大器。 |
| 3. 晦涩的“提示词高尔夫”过拟合(Schulhoff et al. 2024) | A 花了 45 分钟把提示词压缩成晦涩的缩写与脆弱的特定触发词组合,刚好能哄骗当前版本的 Model v1.2 输出正确格式。 |
在 Model v1.2 且 Temp = 0 的条件下,这段加密般的极简提示词与完整结构化规格说明输出一致。 |
可维护性与模型可移植性买单: 一旦底层模型版本升级或路由切换到另一家模型提供商,晦涩的“提示词高尔夫”字符串会立刻崩溃——因为它们依赖脆弱的表层统计巧合,而非清晰的语义逻辑。 |
| 4. 人类预处理时间与硅基提取时间的错误配置 | A 花了整整 20 分钟 手动删改凌乱的会议记录,将其浓缩为 100 个 Token 的提示词,以节省 1,500 个输入 Token。 |
A 和 B 最终拿到了完全相同的待办行动项摘要。 | 人类生产力买单: 1,500 个输入 Token 的 API 成本仅为 $0.0015 至 $0.0045,而一名工程师 20 分钟 的工时成本高达 $30 至 $60。正如我们在《LLM 不在乎你的语法》中指出的,面对杂乱的原始上下文,采用两步走**“先提取、后求解(Extract-Then-Solve)”**提示词,让大模型花 3 秒钟完成信息熵压缩,远比消耗人类认知精力去手动改字划算得多。 |
第七阶段:灰度思考(“If-Clauses”条件判断)与最终裁决(“What We Actually Think”)
1. 用条件判断(If-Clauses)消解非黑即白的二元对立
由于 Token 效率本质上是任务语义规格需求量 D_KL(P* || P_θ) 与单 Token 信息密度 I_sem(X) 的比值,我们将调查结论提炼为六条可操作的 If-Clause 条件准则:
- 如果 A 在多样化的非平庸任务中,始终能以比 B 少
5x–20x的累计全轨迹 Token 产出经受住边界测试、低方差的相同结果: 那么 A 确实具备高维领域本体论(专家组块化 Chunking)、对大模型先验分布的精准心智模型以及卓越的事前问题拆解能力(加速模式)。A 知道目标概念的精确技术名称,只编码非默认边界条件,并在单轮内一次性合并下发。 - 如果 A 仅仅是首轮表面提示词很短(
20 Tokens),但随后花了 5 轮追问修正(累计消耗12,000个 KV-Cache 历史 Token)或在后台触发了4,000个隐藏推理 Token(o3/R1)才拿到结果: 那么 A 根本不具备 Token 效率。A 只是把首轮提示词欠约束的代价,转嫁给了二次方膨胀的多轮历史重读(Laban et al. 2025)或高昂的测试时推理搜索(Chen et al. 2025)。 - 如果任务本身是处于大模型预训练分布众数峰值上的标准样板问题(
D_KL(P* || P_θ) ≈ 0): 那么 A 用6 个 Token得到与 B150 个 Token相同的结果,完全不能证明 A 水平更高——相反,这往往说明 B 是一名严谨负责、主动声明防御性不变量的系统工程师,而 A 只是在靠统计众数撞大运。 - 如果 B 的提示词之所以冗长,是因为 B 把
3,000 Tokens未经修剪的无关日志、客套寒暄或前后矛盾的意识流塞进了同一个推理轮次: 那么 B 正在通过 Softmax 注意力稀释与“未推理先抢答”错误,主动将大模型的逻辑推理准确率摧毁-20%至-50%(Levy, Jacoby & Goldberg 2024;Liu et al. 2024)。 - 如果 B 面对的是需求尚不明确的开放性难题,确实处于探索模式(Exploration Mode): 那么 B 前期使用多轮对话探索需求是完全合理的——但前提是 B 必须执行**“最终下发前合并(Consolidate-Before-Final-Dispatch)”准则**(Laban et al. 2025, 第 7.4 节):一旦通过探索摸清了真实需求,立刻开启一个全新的干净上下文窗口,以
A 式单轮合并规格(Concat/Full)一次性生成最终产物,彻底规避多轮上下文污染! - 如果 A 在生产代码库中只需输入
20 个 Token,是因为95%的架构不变量已经被编码进了确定性 Linter、类型系统以及模块化的SKILL.md/AGENTS.md底座中: 那么 A 已经达到了 AI 软件工程的最高境界——将脆弱的自然语言提示词 Token 转化为确定性、可复用的系统级工程约束。
2. 最终取证裁决:我们的明确立场(What We Actually Think)
综合贝叶斯上下文学习理论证明(Xie et al. 2022)、提示词信息熵压缩(Jiang et al. 2023)、输入长度推理退化实验(Levy et al. 2024)以及 200,000+ 场多轮对话仿真(Laban et al. 2025),我们对“N_A ≪ N_B 究竟说明了 A 的什么特质”给出明确的概率加权裁决:
N_A ≪ N_B 的认识论解释场景 |
赋予的认识论概率 | 核心实证与机制依据 |
|---|---|---|
场景 1(基准情形 —— A 具备更高维的领域压缩能力、先验校准与事前思维清晰度): 在严格输出等价的非平庸任务上,A 更低的累计 Token 足迹直接反映了更高的单 Token 语义互信息(I_sem)——由精确的领域专业词汇(Chunking)、仅编码偏离默认值的 Delta 约束,以及单轮规格合并(加速模式)共同驱动。 |
~65%(主导信号) |
直接由多轮拆分规格引发的 -39% 准确率暴跌与 +112% 不稳定性激增(Laban et al. 2025)、新手提示词中 80%–95% 的低困惑度冗余(Jiang et al. 2023)以及程序员交互行为的双峰分布(Barke et al. 2023)提供实证支撑。 |
场景 2(下行风险情形 —— A 处于规格欠约束并在模型默认众数上侥幸过关,或将成本转嫁给了后台底座/隐藏 CoT): 在单次测试样本上,A 的简短提示词之所以能匹配 B 的严谨提示词,要么是因为目标输出恰好等于大模型的默认统计套路(掩盖了缺失的边缘异常约束),要么是因为 A 依赖了预加载的系统底座或 5,000 个后台隐藏推理 Token。 |
~25%(重大评估陷阱) |
由欠约束提示词单次最佳表现(A90)尚可但跨运行不稳定性(U10-90)灾难性飙升(Laban et al. 2025),以及 o1/R1 类模型 2x–5x 的后台隐藏推理 Token 膨胀(Chen et al. 2025)提供实证支撑。 |
| 场景 3(测量混淆情形 —— 跨语种分词器税或基线不公): Token 数量差距源于 BPE 子词分词器在不同语言、文字系统或数据格式上的碎片化差异,而非人类认知能力差异。 | ~10%(结构性混淆项) |
由 Petrov et al. (2023, NeurIPS) 证实:完全相同的语义内容在不同语言下的分词长度差距高达 2 倍至 15 倍。 |
终极行动指南:如何成为真正的“专家级用户 A”,同时避开欠约束陷阱?
真正的 Token 效率绝不是为了少敲几个键盘字符,而是最大化每个 Token 的语义互信息,同时最小化多轮对话的上下文熵增。 要成为真正具备专家心智的 A,请严格执行以下五条工程铁律:
- 直接点出规范模式名称(按指针传递,而非按值传递): 持续投资深度的领域专业词汇。一个精确的技术术语(如
"事务性发件箱 transactional outbox"、"Bland-Altman 一致性图"、"单调关系传递 Monotone Relations"、"CRDT LWW-Element-Set")能够直接替代 300 个 Token 的外行描述,并将大模型瞬间锁定在预训练分布中质量最高的专家流形区域。 - 仅编码偏离模型先验的增量(Delta): 彻底删掉所有客套寒暄、空洞的角色高帽以及默认的质量形容词(“整洁、现代、无 Bug”)。将 100% 的 Token 预算花在显式的边界约束、非默认不变量、输入/输出类型 Schema 以及失败判定标准上。
- 先合并,再下发(
1-Shard单轮执行法则): 绝不要在一个已经来回拉扯了 7 轮、塞满错误假设的臃肿探索线程里让大模型生成最终生产代码。如果你需要通过多轮对话来探索未知问题,在摸清完整需求后,务必提取合并后的最终规格说明,开启一个全新的单轮上下文窗口一次性下发(Laban et al. 2025),从而夺回+39%的准确率与+112%的稳定性优势。 - 将逻辑推理上下文控制在
500-Token噪声阈值以内: 在要求模型执行多跳逻辑推导前,先剥离无关日志与发散段落,避免触发由输入长度引起的推理崩塌(未推理先抢答错误率OR = 3.643,Levy et al. 2024)。 - 绝不为“提示词高尔夫”牺牲边界安全约束: 永远不要为了让提示词看起来简短而省略安全、并发或异常处理约束。将高频复用的工程不变量沉淀到确定性的代码检查器、类型系统以及可复用的
AGENTS.md/SKILL.md底座中,让你的交互提示词既简练如手术刀,又在工程规格上滴水不漏。
第八阶段:一手文献 URL 与引用注册表
为严格遵守本仓库的认识论核验标准以及 arXiv API 使用条款(Terms of Use)(请查阅 https://info.arxiv.org/help/api/index.html 的使用条款,并检查通过 literature-search-arxiv 技能获取的每篇论文的具体许可协议是否存在限制),本研究引用的全部一手学术文献 URL 均已通过编程存活测试并确认返回 HTTP 200:
- Laban P, Hayashi H, Zhou Y, Neville J (2025, Microsoft Research & Salesforce Research — “LLMs Get Lost In Multi-Turn Conversation”): https://arxiv.org/abs/2505.06120 及 HTML 全文 https://arxiv.org/html/2505.06120
- Levy M, Jacoby A, Goldberg Y (2024, ACL 2024 — “Same Task, More Tokens: the Impact of Input Length on the Reasoning Performance of Large Language Models”): https://arxiv.org/abs/2402.14848 及 HTML 全文 https://arxiv.org/html/2402.14848
- Liu NF, Lin K, Hewitt J, Paranjape A, Bevilacqua M, Petroni F, Liang P (2024, TACL — “Lost in the Middle: How Language Models Use Long Contexts”): https://arxiv.org/abs/2307.03172
- Xie SM, Raghunathan A, Liang P, Ma T (2022, ICLR 2022 — “An Explanation of In-context Learning as Implicit Bayesian Inference”): https://arxiv.org/abs/2111.02080
- Jiang H, Wu Q, Lin CY, Yang Y, Qiu L (2023, EMNLP 2023 — “LLMLingua: Compressing Prompts for Accelerated Inference of Large Language Models”): https://arxiv.org/abs/2310.05736
- Pan Z, Wu Q, Jiang H, Lin CY, Qiu L et al. (2024, ACL Findings 2024 — “LLMLingua-2: Data Distillation for Efficient and Faithful Task-Agnostic Prompt Compression”): https://arxiv.org/abs/2403.12968
- Chen X, Xu J, Liang T, He Z, Tu Z, Yu D et al. (2025, Tencent AI Lab — “Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs”): https://arxiv.org/abs/2412.21187 及 HTML 全文 https://arxiv.org/html/2412.21187
- Barke S, James MB, Polikarpova N (2023, OOPSLA 2023 — “Grounded Copilot: How Programmers Interact with Code-Generating Models”): https://arxiv.org/abs/2206.15000
- Petrov A, La Malfa E, Torr PHS, Bibi A (2023, NeurIPS 2023 — “Language Model Tokenizers Introduce Unfairness Between Languages”): https://arxiv.org/abs/2305.15425
- Shi F, Chen X, Misra K, Scales N, Dohan D, Chi E, Schärli N, Zhou D (2023, ICML 2023 — “Large Language Models Can Be Easily Distracted by Irrelevant Context”): https://arxiv.org/abs/2302.00093
- Shi Z, Wei J, Xu Z, Liang Y (2024, ICML 2024 — “Why Larger Language Models Do In-context Learning Differently?”): https://arxiv.org/abs/2405.19592
- Sharma M, Tong M, Korbak T, Duvenaud D, Askell A, Bowman SR, Perez E et al. (2024, ICLR 2024 — “Towards Understanding Sycophancy in Language Models”): https://arxiv.org/abs/2310.13548
- Yin Z, Wang H, Horio K, Kawahara D, Sekine S (2024, ACL SICon 2024 — “Should We Respect LLMs? A Cross-Lingual Study on the Influence of Prompt Politeness on LLM Performance”): https://arxiv.org/abs/2402.14531
- Schulhoff S, Ilie M, Balepur N, Resnik P et al. (2024 — “The Prompt Report: A Systematic Survey of Prompt Engineering Techniques”): https://arxiv.org/abs/2406.06608