Equation 4 · Part 1 · What Alignment Actually Costs
Symbol C_redteam
What this part means
the cost of adversarially testing the result, priced in expert-hours and bounded by how many domain specialists exist at all.
Its job in the formula
edteam 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_redteam→Article meaning
Where the article explains it
is the cost of adversarially testing the result, priced in expert-hours and bounded by how many domain specialists exist at all.
The passage around this formula
is the cost of collecting human feedback — demonstrations and preference comparisons, priced per label and bounded by how many people can be recruited and trained. is the compute spent training a policy against a reward model or a verifier, priced in GPU-hours and bounded by the same hardware capability development competes for. is the cost of adversarially testing the result, priced in expert-hours and bounded by how many domain specialists exist at all. Each term has published figures behind it. None of them is small in absolute terms. All of them are small relative to what they are meant to check.
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.