← All parts of this equation

Equation 23 · Part 1 · What Interpretability Actually Costs to Do at Scale

Symbol H_verify

Hverify  =  ∑i=1mhi,H_{\mathrm{verify}} \;=\; \sum_{i=1}^{m} h_i ,
HverifyH_{\mathrm{verify}}

What this part means

HvH_verify is part of the quantity the equation computes from the expression on the right.

Its job in the formula

HvH_verify is part of the quantity the equation computes from the expression on the right.

The passage around this formula

…individually claim-worthy behaviors — a conservative floor, not an estimate anyone has actually published, because nobody has enumerated a frontier model’s behavior inventory any more than its feature inventory — then HverifyH_{\mathrm{verify}} summed across even a small fraction of them outruns any realistic standing research team within a single model generation, let alone across the several generations a lab now ships per year. This is precisely the bottleneck the field’s own methods papers name as the reason…

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? guide →

See this notation across published equations →

Sources cited in the surrounding passage

These citations provide research context; check each source for the exact claim it supports.