晚上七点,街角的爆米花摊前围满了人。你盯着那口油锅看了二十分钟:玉米粒在热油里安安静静,只是颜色一点点变深,除此之外毫无动静。可就在某一刻,第一颗玉米“砰”地炸开,紧接着噼里啪啦,整锅玉米在几十秒内全部变成了蓬松的爆米花。没人去“教”玉米开花,锅还是那口锅,油还是那锅油——只是温度悄悄越过了临界点。 大模型的涌现能力(Emergent Abilities)就是这么一回事。随着参数量不断增大,模型在许多任务上的表现长期平平无奇;可当规模越过某个阈值,某些能力会突然冒出来:给它几个例子它就能照猫画虎(少样本学习),让它一步步思考它就能解开复杂推理题(思维链推理)。这些能力在小模型上看不到,就像玉米在低温下永远不会开花。这篇文章会带你搞懂:涌现能力如何定义与量化?临界规模阈值在哪、由什么决定?少样本学习和思维链为什么是典型的涌现任务?以及学界至今仍在争论的“涌现到底是不是真的”。
理解涌现的触发条件,能帮你预判“模型要多大才够用”、理解能力边界,并为模型选型与算力投入提供判断依据——这是大模型时代每个 AI 从业者的基本功。
可视化演示
展示数据库从非规范化到BCNF的逐步规范化过程:UNF→1NF→2NF→3NF→BCNF。点击各阶段查看范式要求和分解结果。
本节配有交互动效(进入视口后自动加载,约 3KB)。
非规范化形式 UNF 存在重复组和冗余数据,未满足任何范式 需要消除重复组并确保每列原子值 UNF → 1NF: Eliminate repeating groups
涌现的定义
夜里七点的爆米花摊,你盯着油锅看了二十分钟,玉米粒除了颜色变深毫无反应。可就在某一刻,第一颗玉米“砰”地炸开,几十秒内整锅开花。如果只观察单粒玉米的颜色,你永远预测不到这场爆发——因为颜色是连续变化的,而开花是骤变。
大模型的涌现能力正是这种“骤变”。AI 研究者魏晨等人(Wei et al., 2022)给出的经典定义是:在小规模模型中不存在、但规模增大到一定程度后突然出现的能力。例如,给小模型几百个示例它依然答不对题,换到足够大的模型,同样的提示词突然就能给出正确答案。
要判定涌现,需要把“突然”变成可量化的标准:画出“任务性能—模型规模”曲线,观察性能是否从接近随机水平突然跃升到显著高于随机水平。关键机理藏在评价指标里——任务级指标通常是非线性的。以三位数加法为例:模型必须逐位输出三个数字,三个数字全对整道题才算对。设单个数字的正确率为 \(A_{\text{token}}\),则整题正确率为:
这就是为什么“看单粒玉米颜色”永远看不到涌现:单字正确率是平滑的温度计,任务正确率才是“爆开比例”。选对了温度计,才能观察到那场爆发。
- 单位正确率 \(A_{\text{token}}\)模型在单个输出单元(一个数字)上的正确率,它随模型规模增大而平滑上升,本身看不出任何突变。
- 必要步数 \(L\)任务要求 \(L\) 个单元全部正确(三位数加法 \(L=3\)),整题正确率等价于每一步都正确的联合概率。
- 指数放大 \(A_{\text{task}} = (A_{\text{token}})^L\)因为底数小于 1,连乘会急剧缩小;底数越接近 1,放大效应越猛烈,于是曲线呈现“先平后跳”。
临界规模阈值
同一锅油里,玉米粒不会同时爆开。皮薄的先爆,皮厚的后爆;有的 165℃ 就开花,有的要到 190℃。爆米花摊主从不给顾客一个“统一爆点”,而是按品种告诉人家大致的温度。大模型的临界规模也是这般脾气。
临界规模(critical scale)指触发某能力涌现所需的模型规模区间。它不是单一固定数值:简单模式匹配类任务或许 10B 参数就涌现,数学推理、开放域问答等复杂任务要到 60B 甚至更大。数据质量、训练计算量、任务复杂度、评测指标都会移动爆点的位置。
实践中常用缩放定律(scaling law)来预判爆点。经典形式为:
当实测性能显著偏离缩放定律外推的平滑曲线时,往往意味着某个能力进入了涌现区——这条“外推失效”的拐点,就是爆点的藏身之地。
下次有人问“到底多大才有涌现”,你可以回答:没有统一数值,但有统一的规律——用缩放定律外推,用多指标验证,再用任务复杂度修正预期。就像摊主记得每种玉米的脾气。
- 参数量 \(N\)模型的参数量,是规模最直观的度量,\(N\) 越大理论容量越高。
- 幂律衰减 \(aN^{-\alpha}\)损失随规模按幂律下降,\(a\) 是缩放系数,\(\alpha\) 是缩放指数,规模增大收益递减。
- 不可约损失 \(b\)常数项,表示即使规模无限大也无法消除的损失下限,它来自数据本身的噪声。
少样本学习
考场上,监考老师不教你知识点,只在黑板上写了三个例题,然后让你答新题。普通学生盯着例题一脸茫然,可有个学生看了一眼例题,刷刷刷就把新题解出来了。少样本学习就是这种“看一眼例题就会”。
少样本学习(few-shot learning)指不更新任何参数,仅在输入中拼接若干示例(通常 1~64 个),让模型靠上下文理解任务模式。与之对应的是零样本(zero-shot,不给示例直接提问)和单样本(one-shot)。这一能力在大型语言模型中表现突出,正是小模型不具备的典型涌现能力。
形式化地,模型在 \(k\) 个示例条件下预测新问题的答案:
规模不足时,无论给多少示例,输出都接近随机;越过临界规模后,示例的作用突然显现,性能骤升。
就像摊主只示范一次剥玉米的动作,学徒(能力未涌现的模型)看完照样不会;可当学徒升到一定“段位”,一个示范就够。你无法教出涌现,只能等规模到位。
- 示例对 \((x_i, y_i)\)每个示例由输入和标准答案组成,按顺序拼接在问题前面,充当上下文。
- 新问题 \(x_{\text{new}}\)不带答案的任务输入,模型需要自行生成输出 \(y\)。
- 条件概率输出 \(y\)模型输出的概率分布以全部示例和新问题为条件,\(k\) 越大上下文信息越丰富。
思维链推理
爆米花爆开的那一刻,其实是水汽在玉米壳内不断累积的结果。你没法让玉米“直接开花”,只能让压力一步步到位。思维链推理也是这个道理:不让模型直接给答案,而是先写中间步骤,逐步逼近结果。
思维链(Chain-of-Thought, CoT)通过提示词让模型先输出一步步的推理过程,再给出最终答案,例如“让我们一步一步思考”。研究发现,这一技巧在约 60B 参数以上的模型上才明显生效,是典型的涌现能力——小模型即便被要求“一步步思考”,也只会胡言乱语。
为什么思维链对规模如此敏感?因为多步推理的正确率是各步正确率的连乘:
每步正确率 0.8、5 步连乘后只有约 0.33;每步提升到 0.95,5 步连乘后是约 0.77。小模型每步都“差一点”,连乘后归零;大模型每步都“稳一点”,连乘后开花。
于是涌现不是魔法,是概率的连乘效应被规模推过了临界点。摊主都懂:想在一分钟内爆满一锅,锅底温度得先跨过那条线。
- 第 \(i\) 步推理 \(s_i\)模型生成的中间步骤,如“先计算 23×4=92”。
- 条件依赖 \(P(s_i \mid s_1, \dots, s_{i-1})\)每一步都以之前所有步骤为条件,先前的错误会向后传播。
- 连乘 \(n\) 项整条链条全部正确才算对,步骤越多,对单步准确率的要求越高。
量化与测量
摊主有一支旧温度计,只能测“玉米颜色”;还有一支新温度计,能直接测“爆开率”。同一锅玉米,旧温度计显示一切平稳变化,新温度计却清清楚楚标出了爆点。测量工具决定了你能不能看见涌现。
研究者发现,是否观察到涌现高度依赖评测指标。线性指标(如逐 token 正确率)随规模平滑上升,永远看不出跳变;非线性指标(如整题精确匹配、准确率)则把微小的单步进步指数级放大,呈现出陡峭的涌现曲线。
衡量一个指标是否容易暴露涌现,可以用如下关系刻画。设单步错误率为 \(e\),任务共 \(L\) 步,则任务正确率为:
当 \(e\) 较大时,\((1-e)^L\) 迅速衰减到 0;当 \(e\) 接近 0 时,\((1-e)^L\) 快速逼近 1——涌现“突然出现”的观感,就来自这个狭窄的过渡带。
所以评判涌现前,先问一句:你用的是颜色温度计,还是爆开率温度计?选错工具,就会像旧温度计一样,把一整锅爆花看成“只是变热了”。
- 单步错误率 \(e\)模型每个步骤出错的概率,随规模增大而平滑下降。
- 单步正确率 \(1-e\)一个步骤正确的概率,是任务成功的“底数”。
- 指数 \(L\) 的放大步骤越多,底数小于 1 时衰减越剧烈,底数接近 1 时恢复越迅猛——中间形成“看似突变”的狭窄区间。
学术争议
正当大家为满锅爆米花欢呼时,一位顾客举着更精密的温度计说:这些玉米其实一直在慢慢膨胀,只是你的温度计不够灵敏,才觉得它们“突然爆开”。2023 年,Schaeffer 等人发表论文《涌现能力是幻象吗?》,把这个质疑摆上了台面。
争议双方各有立场。魏晨等人用任务级指标观察到明显的性能跳变;Schaeffer 等人则指出,改用线性指标(如逐 token 准确率)、在更大模型序列上取更多采样点后,曲线变得平滑连续,所谓“涌现”可能只是非线性指标与有限采样造成的测量假象。
两种视角可以统一成一个数学观察:设模型真实能力为随规模平滑变化的函数 \(g(N)\),评测指标是变换 \(f(\cdot)\),我们实际观察到的是:
当 \(f\) 是线性变换时,\(h\) 平滑;当 \(f\) 是非线性变换(如指数式评分、整题全对才给分)时,\(h\) 就呈现不连续的跳变。
这场争论的启示不是“涌现真假二选一”,而是:能力本身大概率连续增长,但“能被可靠观测并实际使用的程度”确实存在阈值效应。就像玉米确实在膨胀,但能卖钱的爆花,非要等那声“砰”之后才有。
- 潜在能力 \(g(N)\)假设模型内部能力随参数平滑连续增长,本身不一定存在跳变。
- 指标变换 \(f(\cdot)\)评测指标把内部能力映射为可观测分数,它可能是线性的,也可能是非线性的。
- 观测结果 \(h(N)\)我们画出的性能—规模曲线,其形状是 \(g\) 与 \(f\) 共同作用的结果。
实践启示
摊主打烊后要决定明天用多大的锅。锅太小,客人等不到爆花;锅太大,油钱和玉米本钱吞掉利润。理性做法是:先知道哪些品种在什么温度才爆,再决定把火烧到多少度。
对 AI 从业者而言,第一个启示是评估方法:判断模型是否需要更大规模,要同时看线性指标(单步正确率)和任务级指标(整题正确率),并用 log 坐标观察曲线趋势。第二个启示是能力预测:利用缩放定律外推,再结合小规模上的“预兆指标”(如单步指标是否在加速改善),判断目标能力离爆点还有多远。
第三个启示是成本权衡。训练大模型的计算量近似为:
其中 \(N\) 是参数量,\(D\) 是训练数据量。规模每上一个台阶,成本陡增;如果业务根本用不到涌现能力,把钱花在数据质量和推理优化上可能更划算。
爆米花摊的终极奥义是:不盲目追求最大的锅,只追求“刚好越过所需爆点的那口锅”。理解涌现的触发条件,就是让你在 AI 项目中做出同样清醒的规模化决策。
- 参数量 \(N\)模型的参数总量,决定容量与单次训练成本。
- 数据量 \(D\)训练所用的 token 总数,单位通常为亿或万亿。
- 常数因子 6前向传播与反向传播带来的浮点计算量,约为参数与数据乘积的 6 倍。
AI 应用场景
大模型选型——该买多大的“锅”
阶段:模型评估与选型阶段
解决的问题:传统选型靠参数排行榜和口碑,无法回答“100B 模型到底比 7B 强在哪”。利用涌现分析,决策者可以绘制性能-规模曲线,判断目标任务(数学推理、代码生成等)的临界规模,避免为用不上的能力买单。
具体案例:一家教育科技公司要上线 AI 数学解题。工程师用 7B、13B、70B 三个规模做少样本评测,发现 7B 在四则混合运算上接近随机,70B 在加入思维链提示后骤升到 82%。据此团队直接选择 70B 并配套 CoT 流程,而不是盲目上 200B。
提示工程——把涌现“引出来”
阶段:推理部署与提示设计阶段
解决的问题:模型规模到位但能力“藏着”,传统方式反复调 prompt 都无效。理解少样本与思维链是涌现能力后,工程师用“示例 + 逐步思考”的组合提示把能力激活。
具体案例:某客服机器人在处理多步退款规则时答非所问。算法工程师在提示中放入 3 个标准示例,并让模型“先列出规则再判断”,正确率从 21% 提升到 74%,而模型参数量并未改变。
评测基准设计——别再被温度计骗了
阶段:能力评测与基准设计阶段
解决的问题:团队用单 token 准确率评测,发现两个规模的模型“差不多”,差点砍掉大模型项目。改用任务级指标(整题精确匹配)后,差异立刻显现。
具体案例:某实验室对比 7B 与 70B 的代码生成能力,按 token 级 BLEU 分数两者仅差 3 分;改用“整段可运行率”后,7B 仅 8%,70B 达 61%,涌现差异一目了然。评测报告最终推动公司升级了模型集群。
Python 演示
import math def per_token_accuracy(scale): # 单步正确率随规模平滑上升(sigmoid 曲线) return 1.0 / (1.0 + math.exp(-(scale - 5.0) / 0.35)) def task_accuracy(p_token, length=3): # 三位数加法:三个数字全对才算对,整题正确率是连乘 return p_token ** length def main(): print("模型规模\t单步正确率\t任务正确率") prev = 0.0 for scale in [1, 2, 3, 4, 5, 5.5, 6, 6.5, 7, 8, 9]: p = per_token_accuracy(scale) acc = task_accuracy(p) jump = " <-- 涌现!" if acc - prev > 0.35 else "" print(f"{scale:5.1f}\t{p:.3f}\t\t{acc:.3f}{jump}") prev = acc if __name__ == "__main__": main()
return 1.0 / (1.0 + math.exp(-(scale - 5.0) / 0.35))sigmoid 函数把规模映射到 0~1 的单步正确率,曲线平滑连续,看不出任何突变。return p_token ** length三个数字全对才算对,整题正确率是单步正确率的 3 次方,微小差异被放大。for scale in [1, 2, 3, 4, 5, 5.5, 6, 6.5, 7, 8, 9]:枚举不同规模的“模型”,观察性能随规模的变化轨迹。jump = " <-- 涌现!" if acc - prev > 0.35 else ""相邻规模任务正确率增幅超过 0.35 时标注涌现,捕捉“突然爆开”的位置。if __name__ == "__main__":可执行入口,让脚本直接运行并打印表格。
常见误区
误区总觉得模型在某个规模之前和之后完全是两个东西,过了阈值就“天降神力”,仿佛训练过程与涌现毫无关系。
正解训练全程参数都在连续更新,单步能力(如 token 正确率)是平滑上升的。涌现是任务级指标的连乘放大效应在阈值附近的急转弯——就像玉米确实一直在膨胀,只是我们只盯着“爆开”这一瞬间。能力不是无中生有,而是累积到临界点后的可见化。
为何常见:因为用任务级准确率画图时,曲线看起来就是不连续的跳变,直觉上容易理解为“突变”。
误区很多人喜欢背“超过 100B 参数就会涌现”,把临界规模当成一个放之四海而皆准的常数。
正解不同任务、不同指标、不同数据配置下,阈值差异巨大:简单任务可能 10B 就涌现,复杂推理要到 60B 甚至更大。阈值更像是一个随任务复杂度和评测方式移动的“区间”,而非固定数值。
为何常见:教程常拿几个明星任务举例,让人误以为存在一个通用门槛。
误区认为小模型在任何任务上都不可能涌现,只有大模型才有资格谈“突然变强”。
正解涌现是相对的——如果把任务难度降低、指标选得合适,小模型在简单任务上也会表现出小幅“伪涌现”。用 log 坐标和平滑指标观察,小模型的能力增长是连续的。涌现不是大模型专属,而是“阈值与任务相匹配”的现象。
为何常见:观察到大模型的大幅度跃升后,容易忽略小模型在更简单任务上的微小改善。
误区认为只要把参数量堆上去,一切能力都会自动涌现,数据、训练方式都不重要。
正解参数量只是前提之一。数据质量、训练计算量、任务本身难度、评测粒度都会移动爆点。相同参数量下,训练更充分、数据更干净的模型可能更早涌现。规模是必要条件,但不是充分条件。
为何常见:“参数翻倍就会涌现”这类标题党简化了复杂因素,容易让人忽略其他变量的作用。
面试题
Q1. 涌现能力最准确的定义是下列哪一项?
- A.规模越过阈值后突然出现的新能力← 正确答案
- B.训练时间越久模型能力越强
- C.小模型本就具备的基础能力
- D.通过微调才能获得的任务技能
答案:A。涌现的核心就在“小模型没有、大模型突然有”,关键词是规模和突然性。训练时间、微调是能力提升的其他路径,不构成涌现的判定标准;小模型本就具备的能力谈不上“涌现”。
Q2. 实践中判断一个能力是否涌现,最常用的方法是什么?
- A.直接比较两个模型的参数量大小
- B.查看模型训练日志中的损失曲线
- C.画任务性能与规模的关系曲线看跳变← 正确答案
- D.统计模型推理时的显存占用大小
答案:C。标准做法是绘制“任务性能—模型规模”曲线,观察是否存在从随机基线附近的突然跃升。参数量比较只是猜测,损失曲线反映训练动态而非能力边界,显存占用与能力涌现没有直接关系。
Q3. 为什么三位数加法这类任务容易观察到涌现?
- A.加法任务的随机基线远超其他任务
- B.多位数加法需要的训练数据更多
- C.小模型学不会十进制的进位规则
- D.三位数字全对才得分,连乘放大进步← 正确答案
答案:D。三位数加法要求三个数字全部正确,任务正确率 = 单字正确率³,连乘效应把微小的单步进步放大成跳跃。随机基线高反而会淹没跳变,数据量多、进位规则不是涌现观测的主因。
Q4. 少样本学习在涌现语境下主要指什么?
- A.用大量标注样本对模型进行微调
- B.从零开始训练一个全新的基础模型
- C.靠上下文示例完成新任务,不更新参数← 正确答案
- D.用强化学习反馈奖励模型的输出
答案:C。少样本学习是“在输入中拼接几个示例、不更新任何参数”的上下文学习(in-context learning)。微调、预训练、强化学习是另外三条参数更新的路径,不属于少样本学习的定义。
Q5. 为什么思维链推理要到大模型上才涌现?
- A.小模型显存无法容纳长序列
- B.推理步骤连乘后依赖逐步高准确率← 正确答案
- C.思维链提示词对小模型无效
- D.小模型缺乏足够多的推理资源
答案:B。多步推理的正确率是各步准确率的连乘:小模型每步都“差一点”,连乘后趋近于 0;大模型逐步准确率提升到 0.9 以上,连乘后才显著大于 0。显存与资源限制不是“不会推理”的原因,提示词本身不区别模型规模。
Q6. 以下哪些因素会影响涌现的临界规模?
- A.模型参数量大小← 正确答案
- B.训练数据的质量← 正确答案
- C.任务本身的复杂度← 正确答案
- D.评测指标的选择← 正确答案
答案:ABCD。临界规模是多种因素共同作用的结果:参数量是基础条件,数据质量和训练计算量决定能力是否“到位”,任务复杂度决定爆点高低,评测指标则决定跳变是否可见。因此不存在脱离场景的固定阈值。
Q7. Schaeffer 等人认为“涌现可能是幻象”,主要论据包括哪些?
- A.换用线性指标后曲线变得平滑← 正确答案
- B.连续规模下性能并无突然跳变← 正确答案
- C.所有涌现任务都不存在任何改进
- D.小模型完全没有学习任何能力
答案:AB。幻象论的核心是:当改用线性指标(如逐 token 准确率)、并在更大的模型序列上取更多采样点后,性能曲线是连续平滑的,“跳变”源于非线性指标与有限采样。C、D 是极端化误读,并非该论文的主张。
Q8. 对“涌现是测量假象”争论的正确理解是?
- A.能力可能连续,但任务指标会放大突变← 正确答案
- B.模型能力绝对不存在任何突变
- C.所有涌现现象都已被完全证伪
- D.指标选择对评测结果毫无影响
答案:A。目前的共识方向是:能力本身可能连续增长,但任务级非线性指标与阈值效应会让它呈现跳变。完全否认突变、宣称全部证伪、或认为指标无影响,都是对争论的过度简化。
Q9. 实践中评估“模型是否需要更大规模”,正确做法包括?
- A.用多种指标绘制性能规模曲线← 正确答案
- B.用缩放定律外推能力出现位置← 正确答案
- C.结合单步级指标观察增长趋势← 正确答案
- D.只关注宣传海报上的参数量
答案:ABC。理性做法是“多指标曲线 + 缩放定律外推 + 单步级预兆观察”三者结合,才能判断目标能力离爆点还有多远。只关注参数量是典型误区,因为不同任务的阈值差异巨大。
Q10. 训练成本与规模的关系可近似表示为?
- A.计算量约等六倍参数乘数据量← 正确答案
- B.计算量与参数量毫无关系
- C.训练成本只取决于显卡品牌
- D.更大模型训练成本反而更低
答案:A。训练浮点计算量约等于 6ND,其中 N 是参数量、D 是训练数据量。规模越大成本越高,这与显卡品牌无关;认为成本与参数无关或更大反而更便宜,都违背基本物理规律。