What does this equation mean?

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 $h_i$ researcher-hours, including the false starts a competent skeptic would force. Total verification cost per claim is $H_{\mathrm{verify}} \;=\; \sum_{i=1}^{m} h_i$. and the field’s own most careful examples put each $h_i$ measured not in minutes but in dedicated researcher-days once ambiguity has to be resolved rather than merely observed. If a frontier model implements even a low four-figure count of distinguishable, 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 $H_{\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 automation is not optional: Conmy and colleagues built an algorithm to prune the computational graph automatically because, in their words, “the current approach to extracting circuits from neural networks relies on a lot of manual inspection by humans,” which is “a major obstacle to scaling up mechanistic interpretability to larger models, more behaviors, and complicated behaviors composed of many sub-circuits” [ 9 ] . Their validation of that automation was itself modest by design — recovering, on GPT-2 small, five component types and sixty-eight of thirty-two thousand edges that had already been found by hand in prior work [ 9 ] . Recovering a known answer faster is real progress on the labor ledger. It is not evidence that automation finds what a human would have missed.