← Back to article

Equation 3 · AI Alignment and Safety in 2035: Two Axes, Four Scenarios, and What Would Falsify Them

What does this equation mean?

G(t)=C(t)−V(t),dGdt=dCdt−dVdt.G(t) = C(t) - V(t), \qquad \frac{\mathrm{d}G}{\mathrm{d}t} = \frac{\mathrm{d}C}{\mathrm{d}t} - \frac{\mathrm{d}V}{\mathrm{d}t}.

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Start withdG
Divide bydt
This relates toG(t)
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

GG

Symbol G

G occurs above the fraction bar. The numerator is divided by the entire denominator below it.

Understand this part →

tt

Symbol t

t is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Understand this part →

CC

Symbol C

C occurs above the fraction bar. The numerator is divided by the entire denominator below it.

Understand this part →

VV

Symbol V

the field-wide growth rate of.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
fraction

fraction

Divide the expression above the line by the one below it.

Understand this part →

See an illustrated explanation →
subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

dG\mathrm{d}G

Numerator: dG

The complete quantity above the fraction bar.

Understand this part →

dt\mathrm{d}t

Denominator: dt

The complete quantity below the fraction bar; it must be nonzero for this division.

Understand this part →

dC\mathrm{d}C

Numerator: dC

The complete quantity above the fraction bar.

Understand this part →

dt\mathrm{d}t

Denominator: dt

The complete quantity below the fraction bar; it must be nonzero for this division.

Understand this part →

dV\mathrm{d}V

Numerator: dV

The complete quantity above the fraction bar.

Understand this part →

dt\mathrm{d}t

Denominator: dt

The complete quantity below the fraction bar; it must be nonzero for this division.

Understand this part →

How to interpret it

With a fixed numerator, increasing a nonzero denominator reduces the fraction. Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Whether the documented gap between capability and verified safety narrows or widens is not a third axis; it is what the other two jointly produce. Write C(t) for a stylised index of frontier capability — METR’s time-horizon trend is the best-measured available proxy [ 16 ] — and V(t) for an index of independently checkable verification coverage: the share of a system’s decision-relevant behaviour that something other than watching its output can vouch for. The gap is G(t)=C(t)−V(t),dGdt=dCdt−dVdtG(t) = C(t) - V(t), \qquad \frac{\mathrm{d}G}{\mathrm{d}t} = \frac{\mathrm{d}C}{\mathrm{d}t} - \frac{\mathrm{d}V}{\mathrm{d}t}. The gap narrows exactly when verification coverage grows faster than capability does. Axis A determines whether d\mathrm{d}V/d\mathrm{d}t can be large at all — whether there is a technique to scale in the…
Read the full surrounding passage
Whether the documented gap between capability and verified safety narrows or widens is not a third axis; it is what the other two jointly produce. Write C(t) for a stylised index of frontier capability — METR’s time-horizon trend is the best-measured available proxy [ 16 ] — and V(t) for an index of independently checkable verification coverage: the share of a system’s decision-relevant behaviour that something other than watching its output can vouch for. The gap is G(t)=C(t)−V(t),dGdt=dCdt−dVdtG(t) = C(t) - V(t), \qquad \frac{\mathrm{d}G}{\mathrm{d}t} = \frac{\mathrm{d}C}{\mathrm{d}t} - \frac{\mathrm{d}V}{\mathrm{d}t}. The gap narrows exactly when verification coverage grows faster than capability does. Axis A determines whether d\mathrm{d}V/d\mathrm{d}t can be large at all — whether there is a technique to scale in the first place. Axis B determines how much of any technical gain is actually applied across the field rather than sitting inside one lab’s internal practice, acting as a multiplier on the effective, field-wide growth rate of V . A technique that works in one laboratory’s hands but is never externally audited or adopted elsewhere raises V for that laboratory alone; the field-wide V(t) this equation needs barely moves. That is why the gap is downstream of both axes rather than a genuinely independent third question: no combination of assumptions lets it move without one or both axes above having already moved first.

Read the equation in its article →

Sources cited in the surrounding passage

These citations give research context. Read each source to check which claims it supports.

Return to AI Alignment and Safety in 2035: Two Axes, Four Scenarios, and What Would Falsify Them

See this formula across 1 published context →

Browse the mathematical compendium →