Equation 3 · AI Alignment and Safety in 2035: Two Axes, Four Scenarios, and What Would Falsify Them
What does this equation mean?
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.
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
Symbol G
G occurs above the fraction bar. The numerator is divided by the entire denominator below it.
Symbol t
t is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.
Symbol C
C occurs above the fraction bar. The numerator is divided by the entire denominator below it.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →subtraction
Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.
Denominator: dt
The complete quantity below the fraction bar; it must be nonzero for this division.
Denominator: dt
The complete quantity below the fraction bar; it must be nonzero for this division.
Denominator: dt
The complete quantity below the fraction bar; it must be nonzero for this division.
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 . The gap narrows exactly when verification coverage grows faster than capability does. Axis A determines whether V/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 . The gap narrows exactly when verification coverage grows faster than capability does. Axis A determines whether V/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.
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