Equation 2 · Part 1 · Codex in 2035: Scenarios for Software Teams, Verification, and Machine-Written Code
Symbol C_i
What this part means
is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Its job in the formula
is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Full expression→Symbol C_i→Article meaning
The passage around this formula
Let capability for task class i be : the probability that an agent can produce a candidate satisfying a meaningful external evaluator under an affordable budget. Let verification capacity be : the organization’s ability to specify relevant properties, run discriminating checks, preserve provenance, contain actions, and assign accountable authority.
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 →
The article lists its research sources here.