Are Emergent Abilities of Large Language Models a Mirage?

Schaeffer et al., 2023, Are Emergent Abilities of Large Language Models a Mirage? (Advances in Neural Information Processing Systems 36 (NeurIPS 2023))

Subscriber deck — free during early access

15 cards

1 Introduction

  1. How were “emergent abilities” of large language models defined, and what two properties make them intriguing?
    Abilities not present in smaller models but present in larger ones, so they can’t be predicted by extrapolating smaller models’ performance. Their sharpness (a seemingly instant jump from absent to present) and unpredictability (appearing at unforeseeable scales).
  2. Why do emergent abilities matter for AI safety, according to Schaeffer et al.?
    If abilities appear sharply and unpredictably, larger models might suddenly, without warning, acquire dangerous capabilities.
  3. What alternative explanation do Schaeffer et al. propose for emergent abilities?
    They are mostly a mirage created by the researcher’s analysis: chiefly a metric that nonlinearly or discontinuously transforms a smoothly improving per-token error rate, and secondarily too little test data to measure small models’ performance precisely, so they look wholly incapable.
  4. Which two metrics account for most claimed emergent abilities on BIG-Bench?
    Multiple Choice Grade (1 if the most probability mass is on the correct option, a discontinuous step) and Exact String Match (1 only if the whole output matches, nonlinear in the per-token error); together they cover over 92% of hand-annotated emergent abilities.

2 Alternative Explanation for Emergent Abilities

  1. In Schaeffer et al.’s toy model, why does exact-match accuracy look emergent when per-token loss falls smoothly?
    If per-token cross-entropy falls as a power law in model size \(N\), the probability of a correct token \(p_N\) rises smoothly. Requiring all \(L\) tokens correct gives accuracy \(\approx p_N^{\,L}\), which stays near zero and then rises steeply on a log-scale plot, more so for longer targets.
    10model size (log scale)— per-token p— exact match
    Same smooth improvement, two metrics: requiring all 10 tokens right looks “emergent” (the paper’s toy model, invented constants)
  2. How does the picture change if a linear metric like token edit distance is used?
    Token edit distance is about \(L(1 - p_N)\), linear in the per-token error, so the same models show smooth, continuous, predictable improvement with scale: the “emergence” disappears.
  3. What three factors can fully explain sharp, unpredictable jumps with scale, according to Schaeffer et al.?
    (1) A metric that nonlinearly or discontinuously scales the per-token error rate; (2) insufficient resolution to estimate small models’ performance (resolution is set by 1/test-set size); (3) too few model sizes sampled in the large-parameter regime.

3 Analyzing InstructGPT/GPT-3’s Emergent Arithmetic Abilities

  1. What happened to GPT-3’s “emergent” arithmetic abilities when the metric changed?
    On 2-digit multiplication and 4-digit addition, accuracy looked emergent for 4–5-digit targets, but scoring the same outputs with token edit distance showed smooth, predictable improvement with scale, degrading quasi-linearly as target length grew.
  2. What did a larger test set reveal about small models’ accuracy on arithmetic?
    With more test data (higher resolution), every InstructGPT/GPT-3 model had above-chance accuracy, improving smoothly with scale and falling roughly geometrically with target length, as the toy model predicts; zero accuracy had been an artifact of small test sets.

4 Meta-Analysis of Claimed Emergent Abilities

  1. What did the meta-analysis of BIG-Bench show about where emergence appears?
    Emergence is tied to metrics, not to task–model pairs: of 39 BIG-Bench metrics at most 5 showed it; human-annotated emergent abilities appeared under only 4 metrics. Since BIG-Bench often scores a task with several metrics, the absence under the others is telling.
  2. What happened to LaMDA’s emergent abilities under a continuous metric?
    Tasks where LaMDA looked emergent under the discontinuous Multiple Choice Grade showed smooth improvement under the continuous Brier score (squared error of the probability given to the right answer).

5 Inducing Emergent Abilities in Networks on Vision Tasks

  1. How did Schaeffer et al. create “emergent abilities” in vision models?
    By choosing sharp metrics: shallow autoencoders on CIFAR-100 improved reconstruction error smoothly, but a metric counting images reconstructed below an error cutoff jumped abruptly; Transformers classifying Omniglot characters looked emergent when scored as getting all images in a sequence right.

6 Limitations

  1. Do Schaeffer et al. claim that language models cannot have emergent abilities?
    No: they argue only that some previously claimed emergent abilities appear to be mirages created by researcher choices. Some private models couldn’t be analyzed, and whether human judgments of quality are themselves thresholded remains open.

7 Related Work

  1. How does Schaeffer et al.’s explanation differ from broken power laws and the “quanta” hypothesis?
    Broken power laws treat emergence as real, a break in the scaling curve; Schaeffer et al. show it can arise under a single smooth power law. The quanta hypothesis says tasks need sets of discrete skills that larger models are likelier to have all of; both could be true for some abilities.

8 Discussion

  1. What practical lessons for benchmarks do Schaeffer et al. draw?
    Task and metric are separate, meaningful choices; continuous or linear metrics are better for forecasting scaling, while nonlinear ones need much more test data; claims need controls for multiple comparisons (BIG-Bench has about \(10^6\) task–metric–model triples); and models and outputs should be open to independent study.

Source