想象你在厨房烧一壶水。从 30°C 加热到 60°C,水面只是冒出些细碎的气泡;从 60°C 到 90°C,气泡变密了一些,但整体看起来差别不大。可当温度逼近 100°C,水面突然剧烈翻滚,蒸汽“噗”地顶开锅盖——前后不过几分钟,水像换了一副面孔。这种在某个温度上突然“性情大变”的现象,就叫相变。 大模型研究者观察模型能力时,看到了和烧水几乎一模一样的画面:把模型从 10 亿参数一路扩到万亿参数,它在多步数学推理这类复杂任务上的表现长期徘徊在零分附近,却在规模跨过某个特定阈值后,突然跃升到接近满分。这就是涌现能力——一种无法从小模型的性能曲线上“顺着趋势画下去”来预测的突发现象。参数规模像火力,模型能力像水温,临界点像沸点,而缩放定律就是那条能精确描述“水温如何随火力上升”的热力学公式。本文就用这壶水,带你彻底看懂大模型的“沸腾时刻”。
对 AI 从业者而言,理解涌现能力与临界点,是制定模型规模规划、训练预算和资源分配决策的关键依据——它决定了你的每一分算力是花在“加热冷水”还是“跨越沸点”上。
可视化演示
涌现能力指模型在参数规模超过特定阈值后突然表现出的复杂推理能力,如多步数学推理、代码生成和指令遵循。这种能力无... 切换模式查看不同维度。
本节配有交互动效(进入视口后自动加载,约 3KB)。
基本概念:涌:核心原理 动态展示关键流程与数据流动 交互控件调节参数实时渲染 f(x) = transform(x) 核心概念的可视化呈现
涌现现象
先回到厨房。水从 30°C 加热到 90°C,表面变化微乎其微;但一旦到达 100°C,整锅水在短短几十秒内疯狂翻滚。你没有在 50°C 时就看到任何“将要沸腾”的迹象——这正是相变的诡异之处:临界点之前一切平静,临界点之后天翻地覆。
大模型研究者在训练模型时看到了完全相同的画面。一个 10B 参数模型在多步数学推理上得分接近 0%,30B 模型还是接近 0%,100B 模型勉强到 10%。可当规模跨过某个阈值,比如 200B,得分突然跳到 80% 以上。这种“从不会到会”的陡峭跃迁,就是涌现能力。
研究者总结出涌现能力的三个特征。第一,能力突变:性能-规模曲线呈阶梯状而非斜坡状,你在曲线中段找不到“能力逐渐爬升”的过程。第二,新能力诞生:跨过阈值后模型获得的是这一类任务上的全新能力,而不是旧能力的轻微改善。第三,外推失效:用 10B、30B 小模型的性能画一条趋势线,外推到 200B 会得到“依然接近 0 分”的错误结论——因为小模型的数据点根本不在那条通往开窍的路上。
所以,评估大模型时不要只盯着性能曲线的上升斜率,要看那个拐弯的位置。就像判断一壶水会不会开,关键不是它从 30°C 升到 60°C 用了多久,而是它有没有真正摸到 100°C。
临界点本质
同样是液体,白酒在 78°C 就沸腾,水要到 100°C,食用油则要到 200°C 以上。沸点不是加热过程中“慢慢积累”出来的数字,而是物质性质决定的突变分界线。模型的不同能力,也有属于自己的“沸点”。
我们把模型规模记作 S,能力记作 A。经验观测表明,涌现能力随规模的变化可以用一条平滑的 S 形曲线来描述——逻辑斯蒂函数(Sigmoid):
S 形曲线的价值在于提醒我们:临界点不是一个“非黑即白”的开关,而是一个有宽度的过渡区。就像水在沸腾前也有细密气泡逐渐增多的预热阶段,模型的涌现也不是在某一毫秒内凭空降临,而是被临界点周围那条 S 形曲线推上爆发的顶点。
- 指数项的含义当规模远小于临界规模时,指数为正且巨大,整体极其接近 0,这就是“水温 90°C 水面依然平静”的数学写实。
- 分母的组合在指数项上加 1,把整个分式限制在 0 到 1 之间,能力值不会出现负数。
- 能力上限它决定了曲线爬升后能到达的最高水平,不同任务的上限不同。
- 整体的 S 形跃迁规模从低到高,能力从接近 0 平滑经过中点,最终饱和在最大值。
缩放定律
厨师烧水从不靠猜。他看一眼火力大小、水量多少,就能估算出“这壶水大概要等十分钟”。物理规律给了他信心——热传导公式可以精确计算升温速率。大模型领域也有这样一条“热力学公式”,名叫缩放定律。
缩放定律以极简的数学形式揭示了“模型规模与最终损失”之间的确定性关系。它最早由 OpenAI 在 2020 年系统提出,随后被 DeepMind、Anthropic 反复验证。这条定律是涌现能力研究的地基:没有它,我们只能看到杂乱的突发奇观;有了它,我们才能把“沸腾”背后的升温曲线严格刻画出来。
对于一个在固定数据分布上训练的模型,最终损失 L 与参数量 N 之间近似满足幂律关系:
对训练模型的团队来说,这条公式意味着:参数翻倍,损失下降但幅度递减;它把“烧水经验”变成了一张可以精确计算的表格。但要注意,损失是平滑可预测的,能力却是突变的——缩放定律告诉你水在稳定升温,却不保证什么时候沸腾。
- 基准参数常数它与数据分布、词汇表、模型架构有关,是整个损失曲线的刻度基准。
- 模型参数量分母中的规模越大,损失越小,这是“火力越大水温越高”的数学对应。
- 缩放指数刻画收益递减的快慢,典型值在 0.05 到 0.1 之间,越小说明靠堆参数换收益越吃力。
- 整体幂律关系参数量翻十倍,损失只乘以 10 的负指数次方,收益递减由此而来。
涌现类型
往水里加一勺盐,沸点会升高;换一瓶酒精,沸点又变了。不同成分的液体有不同的沸点,模型的不同能力也各自拥有不同的临界规模。研究者对大量任务做过“沸点扫描”,发现四类能力格外典型。
第一类是多步数学推理。模型需要把“先算括号、再乘除、后加减”的逻辑链条一口气走完,中途任何一步出错都会导致整道题崩盘。规模不足的模型像记不住步骤的孩子,得分长期为零。第二类是代码生成。从自然语言描述生成完整可执行程序,要求模型同时理解语义、语法和逻辑结构,临界规模通常在 100B 以上。第三类是指令遵循。模型必须从无数种可能的回应中准确挑选用户想要的那种,这种“听话”能力同样需要足够大的规模才涌现。第四类是上下文学习。给几个示例就能“现学现卖”,小模型等于随机猜测,大模型却能快速迁移。
研究还发现,这些能力的临界点彼此独立:一个模型可能在 70B 就涌现了代码能力,但数学推理要到 200B 才出现。就像同一口锅里有几种液体,各自的沸点互不干扰。
记住这张“沸点表”很有用。规划 10B 模型时别指望它做出 100B 模型的数学推理;而模型跨过某个阈值后突然出现的代码能力也不是玄学,那是量变到质变的必然。要烧哪口锅之前,先弄清楚这口锅的沸点在哪里。
资源规划
请客吃饭,客人 12 点到,你得 11 点就开始烧水;如果客人只待 20 分钟,你还在等 10 升水烧开,就尴尬了。决定“烧多大的壶、开多大的火”,不是厨师的心情,而是用餐时间和人数。
训练大模型的开销同样残酷。一次 175B 级别的训练,电费账单数以百万美元计。模型规模的规划本质是在时间、预算、目标能力之间做三角测量。涌现研究告诉我们:能力不是均匀增长的,跨不过临界点,投再多钱也只能看到能力曲线的平坦段。
临界点对资源规划有三条直接启示。第一,训练预算必须覆盖“沸点”。如果目标任务是多步数学推理,而实验曲线显示临界规模约 200B,那么训练一个 150B 的模型很可能是净亏损——钱花了,能力没出现,还要白白承担部署成本。第二,算力分配向“大单模型”倾斜。与其平均分配训练多个 30B 小模型,不如集中资源让至少一个模型跨过阈值。第三,收益评估要盯住拐点。幂律损失曲线意味着越往后每单位算力的收益越小,但能力涌现的收益在临界点附近突然放大——资源规划要在“平滑收益”和“突变收益”之间果断取舍。
资源规划的奥义不是省钱,而是把钱花在跨越沸点的那一刻。一壶 5 升的水,差 1°C 没开就是没开;预算正好卡在临界点之下,就是烧了 99°C 的温水,浪费了全部燃料。
训练策略
火太大、水太少,锅底会烧干;火太小、水太多,水永远开不起来。好的烧水师傅讲究“火水配比”——每烧一锅水,都要让火力与水量匹配,才能在最短时间内抵达沸点。
模型训练里,“火力”对应参数量,“水量”对应训练数据量。很长一段时间里,工程师们疯狂堆参数却只给模型很少的数据;也有些团队拼命喂数据而舍不得加大模型。直到 DeepMind 的 Chinchilla 论文像一位严格的厨师,把火水配比精确量化了。
Chinchilla 团队在固定算力 C 下遍历不同参数量与数据量组合,发现损失最小时,参数量 N 与训练数据量 D 满足约每 1 个参数配 20 个 token 的关系:
所以训练策略真正的问题不是“要更大的模型还是更多的数据”,而是“模型与数据是否匹配”。70B 的锅配 1.4T token 的水刚刚好;若只给 200B token,水烧到 60°C 就换了火,模型自然不会沸腾。中途评估则像不断检查水温——每个 checkpoint 都在告诉你,距离沸点还有多远。
- 最优参数量在给定算力预算下,能让最终损失最小的模型规模。
- 最优数据量与最优参数量配套的 token 总数。
- 比例系数经验给出的最优“火水比”,约 1 参数对应 20 token。
- 平衡关系两边必须同步增长,任何一边滞后都会让模型停在能力涌现的临界点之前。
局限挑战
在青藏高原上,水不到 90°C 就开了;在高压锅里,水到 120°C 还在安静地躺着。“沸点”本身高度依赖测量环境和工具。登山者若拿着平地的沸点表去判断高压锅,一定会犯错。
对涌现能力的研究同样存在“环境依赖”。斯坦福的研究者发现,许多被观测到的“突然涌现”可能只是度量方式的产物:把精确匹配这种非线性指标换成编辑距离这种平滑指标后,曲线的突变会变成平滑上升,临界点也随之“消失”。
我们必须对临界点保持清醒。第一,度量影响观测。非线性指标(准确率、精确匹配)容易放大微小差异,线性指标(BLEU、编辑距离)会稀释突变信号——你看到的“涌现”可能只是度量尺子的刻度太粗。第二,临界点难以精确预测。数据质量、训练步数、架构细节都会移动它的位置,今天 100B 涌现,换一套数据可能就要 200B。第三,并非所有能力都会涌现。词汇记忆、短语复述这类基础能力从一开始就平滑提升,把它们也说成“涌现”会误导资源分配。第四,对齐安全。恰好在临界点附近出现的超强推理如果不受控,可能让模型在错误方向上变得更聪明,对齐工作必须在规模扩张之前布局。
一个严谨的厨师不会只盯着温度表,他会综合气压、海拔、水质来判断水何时真开。大模型从业者也是:既要敬畏临界点的威力,也要理解它背后的条件与局限,才能在“沸点”面前做出清醒的决策。
AI 应用场景
大模型训练预算决策
阶段:训练规划
解决的问题:固定算力预算下,训练多大模型才够用?传统做法是“先训一个中等模型看看效果”,发现能力不足后从头再来,浪费大量算力。利用缩放定律,可以先用小规模实验拟合幂律曲线、结合涌现文献中该类任务的临界规模分布,把目标规模锚定在超过预估阈值的区间。
具体案例:一家做代码助手的创业公司,用 70B 稠密模型做代码生成,效果始终不达标。团队通过缩放定律推算代码类任务的临界规模约 100B~200B,且损失曲线尚未饱和。他们放弃在 70B 上继续堆数据,改用 180B 稀疏 MoE 架构,总参数量跨过阈值,最终代码生成能力跃升到商用水平。
模型架构选型与算力分配
阶段:架构设计
解决的问题:是训练一个稠密 200B 模型,还是拆成多个小模型?前者推理成本高,后者无法涌现。利用“能力主要由总参数量驱动、推理成本由激活参数量驱动”的缩放律经验,MoE(混合专家)架构可以两全。
具体案例:某公司在 120B 稠密模型上没有观测到数学推理能力(预估阈值约 150B),改用 32 个专家的 200B 总参数 MoE,激活参数仅 25B。训练算力消耗反而低于稠密 150B,推理成本可控,数学推理能力跨过阈值后稳定出现。
评测体系设计
阶段:模型评测
解决的问题:模型升级后某项能力“突然变强”,是真实的能力跃迁,还是测试集泄漏或指标误差?用度量视角审视,可以避免把评测波动误判为技术突破。
具体案例:某评测团队同时用精确匹配和编辑距离评估翻译任务。精确匹配指标下,模型从 100B 到 200B 的表现从 5% 跳到 70%;改用编辑距离后曲线平滑上升。团队据此判断“翻译能力的涌现”部分是度量误差,将资源转向真正存在突变的数学推理任务。
Python 演示
import numpy as np def sigmoid_capability(model_size, threshold, slope=0.08): """模拟模型在某一类任务上的能力随规模的变化. 规模远小于阈值时能力接近 0, 远大于阈值时接近 1. """ return 1.0 / (1.0 + np.exp(-slope * (model_size - threshold))) def linear_extrapolate(sizes, scores, target_size): """用最小二乘法对小模型观测点做线性外推.""" k, b = np.polyfit(sizes, scores, 1) return k * target_size + b def main(): # 模型规模序列 (单位: 十亿参数) sizes = np.array([1.0, 3.0, 10.0, 30.0, 100.0, 300.0, 1000.0]) # 假设某多步推理任务的临界规模为 100B threshold = 100.0 true_scores = sigmoid_capability(sizes, threshold) print("小模型观测 (1B ~ 30B):") for s, v in zip(sizes[:4], true_scores[:4]): print(" %5.1fB -> %.4f" % (s, v)) # 只用四个小模型做线性外推, 模拟"沿着趋势画线" small_sizes = sizes[:4] small_scores = true_scores[:4] for target in (300.0, 1000.0): pred = linear_extrapolate(small_sizes, small_scores, target) actual = sigmoid_capability(target, threshold) gap = actual / max(pred, 1e-6) print("规模 %6.1fB: 线性外推=%.4f 实际=%.4f 低估倍率=%.1fx" % (target, pred, actual, gap)) if gap > 2.0: print(" -> 线性外推严重低估, 涌现能力被完全忽视") else: print(" -> 线性外推未出现明显偏差") if __name__ == "__main__": main()
return 1.0 / (1.0 + np.exp(-slope * (model_size - threshold)))这就是 Sigmoid 的代码实现,规模低于阈值时输出趋近 0,超过后快速逼近 1,对应“能力突变”。k, b = np.polyfit(sizes, scores, 1)用最小二乘法对四个小模型观测点拟合一条直线,这是“线性外推”的起点。small_scores = true_scores[:4]只取 1B~30B 的观测数据,模拟现实中无法随意训练超大模型的场景。gap = actual / max(pred, 1e-6)计算“真实表现”与“外推预测”的倍率,越大说明外推失效越严重。for target in (300.0, 1000.0)分别把趋势外推到 300B 和 1000B,对比两个目标规模下的预测误差。
常见误区
误区模型跨过临界点后突然会做数学题,就像脑子里凭空多了一本教科书,说明它学到了训练数据里根本不存在的东西。
正解训练数据里的知识点早已存在,涌现的是“组合与多步串联”的能力——规模变大后,模型有足够容量把零散概念连成推理链。好比水分子在液态时也在剧烈运动,沸腾只是给了它们挣脱表面张力的动能,水分子本身没有变成新物质。
为何常见:能力的出现过程高度不透明,跃迁的表象容易触发“无中生有”的联想。
误区论文说 100B 是临界点,那我训到 100B 就该出现能力;没出现就继续加到 110B 试试。
正解临界点是特定数据、特定任务、特定度量方式下的统计位置,不是放之四海皆准的物理常数。数据质量、训练步数、评测提示词都会移动它,就像海拔和气压会改变水的沸点。
为何常见:论文图表把临界点画成一条醒目的竖线,人们容易把统计趋势误读为硬性开关。
误区反正 10B 和 60B 都没有目标能力,干脆跳过中间规模直接训 200B,之前的小模型实验全部砍掉。
正解缩放定律告诉我们损失仍在持续下降,能力未涌现不代表基础能力未提升。中间规模模型是数据质量校验、超参调试、临界点定位的“温度计”,直接跳过会失去校准信息。91°C 的水看似没开,但它是奔向 100°C 的必经之路。
为何常见:能力的非线性曲线在临界点前“看起来”像平台期,容易让人误判前期投入毫无价值。
误区我训练了 7B、13B、30B 三个模型,画一条趋势线,外推 70B 该有的能力,预算照此申报,稳了。
正解涌现任务的性能-规模曲线是 S 形而非直线,线性外推对临界型任务几乎必然失效——通常严重低估。但损失-规模确实接近幂律、可以预测;正确做法是预测损失曲线,而不是直接外推能力指标。
为何常见:人类天然喜欢把少量数据点连成直线,而且小规模实验便宜、能快速看到“趋势”,从而掉进外推陷阱。
面试题
Q1. 涌现能力的“临界点”最接近下列哪个生活现象?
- A.水烧到沸点后剧烈沸腾← 正确答案
- B.沙堆缓慢增加逐渐升高
- C.冰在室温下逐渐融化
- D.电流在导线中持续流动
答案:A。涌现能力的核心特征是规模跨过阈值后能力突变,与水到沸点突然沸腾最相似。沙堆升高和冰融化都是渐进过程,电流流动是稳定现象,都不具备“跨过某点后性质突变”的相变特征。
Q2. 缩放定律中,模型损失 L 与参数规模 N 之间通常满足什么关系?
- A.严格的一次线性关系
- B.幂律增长曲线更符合← 正确答案
- C.指数衰减不具说服力
- D.两者无任何统计规律
答案:B。OpenAI 缩放定律论文指出,损失与参数、数据、算力均满足幂律关系。在 log-log 坐标系中画出来是一条直线,这正是幂律的标志,与线性关系有本质区别。
Q3. 关于从 10B 模型线性外推到 200B 模型的表现,下列说法正确的是?
- A.能精确预测复杂任务性能
- B.会严重低估涌现任务性能← 正确答案
- C.会严重高估小模型潜力
- D.对所有任务外推都有效
答案:B。涌现任务在临界点之前性能接近 0,用这些点做线性外推会得到“大模型也不会有能力”的错误结论。实际上大模型跨过临界点后能力远超外推线,因此线性外推系统性低估。
Q4. 下列哪些能力被研究认为是典型的涌现能力?
- A.多步数学推理能力← 正确答案
- B.自然语言代码生成← 正确答案
- C.高频字符短期记忆
- D.人类指令精确遵循← 正确答案
答案:ABD。多步数学推理、代码生成、指令遵循都是文献中反复观测到的涌现能力,它们在小模型上接近零分、跨过临界规模后突增。字符级记忆在小模型上就已具备,属于非涌现能力。
Q5. Chinchilla 论文提出的计算最优配比中,每个参数约对应多少个 token?
- A.每 1 参数约配 10 个 token
- B.每 1 参数约配 20 个 token← 正确答案
- C.每 1 参数约配 50 个 token
- D.每 1 参数约配 100 个 token
答案:B。Chinchilla 论文的核心发现是:算力固定时,参数量与训练数据量应按约 1:20 配比。70B 参数对应约 1.4T token。配比失衡会导致模型处于“欠训练”的温水状态。
Q6. 关于临界点的观测,下列说法正确的有哪些?
- A.任务度量选择会影响临界点位置← 正确答案
- B.所有任务都存在明显的临界点
- C.线性指标比非线性指标更易看到突变
- D.数据质量与噪声会影响临界点位置← 正确答案
答案:AD。度量方式确实会影响观测——用非线性指标(精确匹配)容易看到陡变,换成线性指标(编辑距离)突变会平滑化,所以 C 说反了。并非所有任务都有涌现临界点,B 过于绝对,因此选 A 和 D。
Q7. 幂律关系 $L(N)=(N_c/N)^{\alpha}$ 在 log-log 坐标下呈现什么形状?
- A.一条向右下倾斜的直线← 正确答案
- B.一条向上弯曲的抛物线
- C.一条波浪起伏的曲线
- D.一条水平固化的横线
答案:A。对幂律两边取对数得到 $\log L = \log N_c - \alpha \log N$,是关于 $\log N$ 的一次函数,因此在 log-log 坐标中是一条斜率为 $-\alpha$ 的直线。
Q8. 在预算有限条件下,已知某推理任务的涌现临界规模约 100B,下列哪种策略最符合临界点思想?
- A.训练一批小模型并线性外推
- B.集中算力训练跨过阈值的模型← 正确答案
- C.用大量小模型做集成投票
- D.在阈值以下模型上大量微调
答案:B。涌现能力的核心是单一模型规模跨过阈值。小模型外推会低估、集成投票和微调都无法让任何单一模型跨过临界点。只有集中算力让一个模型总参数超过 100B,才有机会触发能力跃迁。
Q9. 关于涌现能力的局限,下列理解正确的有哪些?
- A.观测到的突增可能受度量方式影响← 正确答案
- B.非涌现能力的提升也值得投入资源← 正确答案
- C.所有大模型必定出现所有涌现能力
- D.涌现能力边界无法精确预知← 正确答案
答案:ABD。度量方式、数据质量、架构都会影响临界点的观测和位置,所以 A、D 正确。许多能力是平滑提升的,同样有实际价值,B 正确。C 过于绝对——并非所有能力都会在大模型上涌现,涌现能否出现取决于多种因素。
Q10. 根据幂律 $L(N)=(N_c/N)^{\alpha}$,已知 $\alpha=0.1$,把模型从 10B 扩到 1000B,损失大约变为原来的多少?
- A.损失下降约 37%, 变为约 0.63 倍← 正确答案
- B.损失下降约 5%, 变为约 0.95 倍
- C.损失上升约 30%, 变为约 1.30 倍
- D.损失几乎不变,保持 1.0 倍左右
答案:A。$L(1000)/L(10)=(10/1000)^{0.1}=0.01^{0.1}=10^{-0.2}\approx 0.63$。参数扩大 100 倍只让损失下降约 37%,这正是缩放定律收益递减的体现——也解释了为什么靠堆参数换取能力提升的代价越来越高。