6.1.3 · D1Scaling & Efficient Architectures

Foundations — Emergent abilities in large models

2,598 words12 min readBack to topic

This page builds every symbol the parent note Emergent abilities leans on, starting from absolute zero. Nothing below is assumed — if the parent used it, we earn it here first.


0. What is a "model" and what does it output?

Before any symbol, picture the machine. A language model reads some text and produces, for the next slot, a probability for every possible word. It is a guessing machine that never says one word — it says "I'm 71% sure it's cat, 12% dog, …".

Figure — Emergent abilities in large models
Figure s01 — what the model emits. A bar chart over five candidate next tokens (cat, dog, car, sky, run). The tallest blue bar (cat, 0.55) is flagged with a red arrow reading "model is 55% sure of 'cat'"; the other four bars are gray and shorter. The visual makes the point that the model never commits to one word — it hands back a whole probability distribution that sums to 1.

We need tokens because every symbol that follows counts them or scores them.


1. The symbol — size of the model

Why the topic needs it: emergence is described as something that happens as grows. is our horizontal axis — the knob we turn to make models bigger.


2. The symbols and — data and compute

Why: "scale" is not one thing. The parent lists three axes, , — any of which can trigger a jump. You must know all three to read its plots. These feed directly into Scaling laws (Kaplan, Chinchilla) and Compute-optimal training.


3. Probability — "how sure is the model?"

Why the topic needs it: the whole mystery lives in one move — taking this smoothly rising and raising it to a power. Without there is no engine.


4. The exponent — and why powers of numbers below 1 shrink

This is the heart of the parent note, so we build it with pictures, not faith. First we must name the quantity we are computing.

Figure — Emergent abilities in large models
Figure s02 — the leak in the chain. Exact-match accuracy on the vertical axis versus chain length (1 to 20) on the horizontal axis, drawn for three per-token skills: green , orange , red . All three start high at and sag toward zero as grows; the lower curves collapse fastest. A gray arrow labelled "every extra link shrinks the chance" points at the descending green curve, showing that even a strong decays badly once many tokens must all be right.

Why this exponent is the tool (not addition, not average): the task metric here is all-or-nothing — exact match. All-or-nothing = "AND across steps" = multiplication, and multiplying copies is exactly a power. That is why , and nothing else, is the right description.


5. Two lenses: the sharp metric vs the smooth metric

Same rising , two ways to score it — and they look completely different.

Figure — Emergent abilities in large models
Figure s03 — one rising , two rulers. The horizontal axis is per-token correctness (rising smoothly from 0.5 to 1.0 as the model scales up). The orange solid curve is the sharp exact-match metric : it hugs the floor near zero and then leaps upward only near ; a red arrow labelled "sharp metric leaps here" marks that late surge, with a gray dotted vertical guide at . The green dashed line is the smooth per-token metric (): a straight, gentle rise. Both are driven by the same smoothly increasing — the visual proof that "emergence" can live entirely in the choice of ruler.

Why the topic needs both: the "mirage" explanation (Cross-entropy loss and perplexity measures things smoothly) says emergence lives in the ruler, not the model. You cannot follow that debate without seeing both lenses side by side.


6. The logarithm — turning a stubborn product into a friendly sum

The parent takes of . Here is what that symbol does.


7. Smooth vs sudden — the two curve shapes

Why: the whole surprise is a smooth loss curve (§7 power law) sitting under a sudden task curve (§7 phase transition). Knowing both shapes lets you hold the parent's central paradox: "Smooth Loss, Sharp Look."


8. Loss and its friends

Deeper treatment lives in Cross-entropy loss and perplexity.


Prerequisite map

Token = one text chunk

Per-token correctness p

N params, D tokens, C compute

p to the L = exact match

L = tokens all needed

Logarithm turns product into sum

Sharp task curve

Smooth loss L of N D

Smooth power law

Emergent abilities

Phase transition shape

Read it top to bottom: tokens and scale define ; , , and logs build the sharp metric; a smooth loss law sits underneath; their clash is emergence.


Worked micro-example (feel the numbers)


Equipment checklist

Cover the right side and answer aloud; if you can, you're ready for the parent note.

What does one token represent, and what does the model output per token?
One text chunk; the model outputs a probability distribution over the next token.
What is , in a picture?
Number of parameters — a wall of adjustable dials; more dials = larger model.
State the compute rule of thumb linking , , , and where the 6 comes from.
; the 6 is 2 FLOPs for the forward pass plus 4 for the backward pass, per parameter per token.
What does mean and what range does it live in?
Per-token probability of being correct, between 0 and 1.
Define (exact-match accuracy).
Fraction of times the whole answer is produced with every token correct; one wrong token = whole answer wrong.
Why is exact-match accuracy and not ?
The chain rule multiplies conditional probabilities (approximated as equal ), so probabilities multiply into a power; counts expected correct tokens (a smooth average).
For , does raising to a power grow or shrink the number?
It shrinks — every extra factor of leaks value.
What does taking of achieve, and which base do we use?
Turns the product into (natural log, base ), exposing why small gives and makes it leap.
What is the difference between a power law and a phase transition curve?
Power law = smooth steady decline like (loss); phase transition = flat then sudden leap past (task metric).
In , what do , and mean?
are the decay exponents for parameters and data; is the irreducible entropy floor a perfect model cannot beat.
Distinguish the two symbols written "L" in this topic.
Plain = number of tokens a task needs; italic = the loss function.