← All parts of this equation

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

Ending index or upper bound: m

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

What this part means

This label says where the repeated addition, multiplication, or accumulation stops. It sets the last term or end of the range.

Its job in the formula

m appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.

The passage around this formula

A simple model makes the scaling problem legible. Let a verified circuit claim require passing m distinct checks — faithfulness under intervention, completeness against the behavior it is meant to fully explain, minimality against components that turn out not to matter — and let each check take hih_i researcher-hours, including the false starts a competent skeptic would force. Total…

Read this part in the article →

Learn the underlying idea

Σ adds a collection of terms. Π multiplies them. The lower and upper labels tell you which terms belong to the collection.

Open the illustrated sums and products: repeat an operation over an index 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.