IT 论文精读 · PAPER 13
Jason Wei 等 · Google / Stanford / DeepMind · TMLR 2022
还记得 GPT-3 那种大模型「看几个例子就会做新题」的本事吗?这篇论文(2022 年,Google 一队人牵头)注意到一件更怪的事:有些本事,小模型怎么都学不会,模型做大到某个门槛,它却「突然」就会了——不是慢慢变好,是从「几乎全错」一下跳到「像样地会」。他们给这种现象起了个名字:涌现(emergence)。
像烧水。你一度一度往上加热,水一直只是「热水」——90 度、95 度、99 度,看着没什么质变。可到了 100 度,它突然沸腾了,从液体变成蒸汽。多出来的这一度,带来的不是「更热一点」,而是一个新状态。大模型的某些能力就是这样:规模一点点堆上去时毫无起色,越过某条线,能力「相变」般地冒出来。
上一代人的共识是:模型越大,各项表现平滑地、可预测地好一点点(这正是「规模定律」那篇讲的)。你甚至能拿小模型的成绩画条线、外推出大模型大概多强。可涌现能力偏偏不守这个规矩:在门槛之前,曲线贴着「瞎猜」的水平一动不动,你根本预测不到后面会有一跳。会不会跳、什么时候跳,事先看不出来。
方法很朴素:拿一大批难度各异的题(从三位数加法、冷门语言问答,到需要推理的综合考试),让从小到大一整排模型都去做,再把「模型多大」和「做对多少」画成一张图。结果反复出现同一种形状:前半段几乎是条贴着地面的平线(跟瞎猜差不多),到某个规模猛地翘起来。他们还发现,有些「解题技巧」也是涌现的——比如让模型「一步步把思路写出来再答」(思维链),小模型用了反而更差,大到一定程度才开始真正帮上忙。
一个既兴奋又不安的结论:把模型做得更大,可能会解锁一批你事先根本没料到的新能力——这既是「继续把模型往大做」的最强动力,也是安全研究者最担心的地方(连有害能力也可能不打招呼地冒出来)。大模型不再是「同一个东西的放大版」,而可能在放大中变成「另一种东西」。
有些能力小模型完全不具备,模型大到某个门槛却像烧水到沸点一样「突然」出现、且事先无法预测——这就是涌现。不过要留一句诚实的话:后来有人反驳,这种「突变」有时是打分方式造成的错觉——换把宽松点的尺子去量,陡坎就摊平成缓坡了。
想看涌现曲线、具体是哪些能力、以及「这是不是错觉」的争论? → 切到精读版
这篇论文把一个观察正式命名并系统化:某些能力在小模型上完全不存在(成绩贴着随机水平),当模型规模越过某个门槛却「突然」出现并迅速变好——作者称之为涌现能力(emergent abilities)。它的定义性特征是不可预测:你无法靠外推小模型的表现(即「规模定律」的平滑曲线)提前算出这一跳。论文用十几个任务和 GPT-3、LaMDA、Gopher、Chinchilla、PaLM 等一整排模型佐证,并指出连思维链、指令遵循这类「提示技巧」也只在大模型上才生效。
第一作者 Jason Wei,合作者来自 Google Research、Stanford(含 Percy Liang、Rishi Bommasani、Tatsunori Hashimoto)与 DeepMind,2022 年发表于 TMLR。它上承「规模定律」(Kaplan 等 2020)「大就是好」的定量图景,却专门去凿它不平滑、不可预测的那一面;发表后立刻成为理解大模型的高频词,也直接招来 2023 年那篇著名的「涌现是海市蜃楼吗?」反方(见末节)。它不提出新模型、新架构,而是一篇观察与提问之作——恰恰因为提对了问题而影响巨大。
2020 年前后,规模定律给了业界一个安稳的世界观:把模型和数据一起放大,损失就沿一条平滑曲线可预测地下降。这条曲线漂亮、好用,却回答的是「整体上平均好多少」。作者追问一个更细的问题:如果把眼光从「平均损失」挪到「一项一项具体能不能做成的任务」上,图景还一样平滑吗?
答案是否定的。他们发现,在不少具体任务上,成绩并不随规模缓慢爬升,而是长时间趴在「和瞎猜没区别」的水平,然后在某个规模陡然拉起。这类「小模型完全没有、大模型才有」的能力,无法从小模型的曲线外推出来——这既是对规模定律「一切可预测」印象的一个重要补充,也逼着人重新想:我们到底该怎么衡量、预期一个更大的模型会做什么?
作者给了一个刻意简洁的定义:「一种能力,如果它不存在于较小的模型、却存在于较大的模型,就称为涌现的。」关键不在「大模型更强」这种废话,而在两点:一是相变式的形状——门槛前贴着随机水平几乎是平的,跨过门槛后骤然上升;二是不可预测——单看门槛以下那段平线,你无从判断后面会不会跳、在哪跳。这正是它和规模定律那条平滑曲线的分野。
方法上没有花架子:取同一族、只是大小不同的一排模型(这样架构、数据、训练方式尽量可比),用统一的少样本提示去做同一批任务,横轴放训练算力(FLOPs)或参数量、纵轴放准确率。反复画出来的,就是图 1 那种「平线 + 陡坎」。作者强调用 FLOPs 或参数量当横轴都行,重点是那条曲线的形状,而非某个精确的临界数值。
论文的另一半讲提示策略的涌现:有些技巧在小模型上无效甚至有害,大到一定规模才开始生效。最典型的是思维链(CoT)——让模型先写推理步骤再作答,在小模型上准确率反而更低,越过某个规模后才明显超过「直接作答」。指令微调也类似:小模型做指令微调收益不明显甚至倒退,够大的模型才靠它学会广泛地听懂指令。换句话说,「能力」和「用能力的方法」都可能有门槛。
为什么会这样?论文坦承没有确定答案,只给了几种候选直觉:也许某些任务需要多个子步骤全部到位、大模型才凑齐所有零件;也许是评测用的「全对才算对」这类严格指标把渐进的进步显示成了突变(这条恰恰埋下了后来的争论)。作者把「为什么涌现」明确留作开放问题。
论文汇总了十几项表现出涌现的少样本任务,横跨算术(如三位数加减)、音标转写、单词重排、波斯语问答、辨别真伪陈述、以及覆盖数十学科的综合考试(MMLU)等,模型则取自 GPT-3、LaMDA、Gopher、Chinchilla、PaLM 等家族。这些任务的共同特征是:在大约 10²²~10²⁴ 训练 FLOPs 这一带之前贴着随机水平,越过后骤升——具体门槛因任务而异。思维链的收益同样只在大模型(约百亿参数量级以上)才转正。作者据此论证:涌现是一种在多任务、多模型上反复出现的普遍现象,而非个别巧合。(注:文中数值区间会随模型族与任务不同而变,此处取其量级。)
这篇论文的分量不在技术,而在它塑造了整个领域谈论大模型的方式。它把「涌现」这个词推成通用语汇,让人们意识到:更大的模型可能不是「同一个东西更强」,而是会解锁事先无法预料的新能力。这一图景既给「继续 scale」提供了强动机(下一个门槛后面也许藏着惊喜),也让 AI 安全研究者高度警觉——如果有用能力会不打招呼地冒出来,有害能力也可能。它还把评测的重要性顶到台前:想知道模型「会不会」某件事,只看平均损失不够,得一项项去测。此后关于「大模型到底懂不懂」「还会涌现出什么」的讨论,几乎都以它为坐标。
① 一句话:某些能力小模型完全没有、大到某个门槛才「突然」出现且事先不可预测,作者命名为「涌现能力」。
② 痛点:规模定律说「整体误差平滑可预测下降」,但落到一项项具体任务上,成绩常是「长平线 + 陡坎」,无法外推。
③ 定义:不在小模型、只在大模型;关键是相变式形状 + 不可预测,而非单纯「大模型更强」。
④ 方法:同族不同大小的一排模型,用统一少样本提示做同批任务,横轴放算力/参数、纵轴放准确率,反复得到「平线 + 陡坎」。
⑤ 连技巧也涌现:思维链、指令微调在小模型无效甚至有害,够大才生效。
⑥ 结果:十几项任务(算术、冷门语言问答、MMLU 等)在约 10²²~10²⁴ FLOPs 一带涌现;跨 GPT-3、LaMDA、Gopher、Chinchilla、PaLM 反复出现。
⑦ 影响:把「涌现」推成通用语汇,既强化「继续 scale」的动机,也点燃对不可预测风险的安全担忧,并抬高了逐任务评测的重要性。
⑧ 局限:Schaeffer 等 2023「海市蜃楼」反驳——很多突变是非连续指标造的假象,换连续指标即平滑;「不可预测」被削弱;论文只观察、未解释机理。