← All parts of this equation

Equation 1 · Part 3 · A History of Anthropic and the Claude Model Line

Symbol S_k

C(model)≥τk  ⟹  deploy only if safeguards≥Sk,C(\text{model}) \ge \tau_k \;\Longrightarrow\; \text{deploy only if safeguards} \ge S_k,
SkS_k

What this part means

the security and deployment standard the policy requires once that threshold is crossed.

Its job in the formula

SkS_k is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Where the article explains it

where C(model\text{model}) is the model’s evaluated capability on a specific threat class, τk\tau_k is the threshold defining ASL level k , and SkS_k is the security and deployment standard the policy requires once that threshold is crossed.

The passage around this formula

…stripped to its structural claim, is a threshold trigger: C(model)≥τk  ⟹  deploy only if safeguards≥SkC(\text{model}) \ge \tau_k \;\Longrightarrow\; \text{deploy only if safeguards} \ge S_k. where C(model\text{model}) is the model’s evaluated capability on a specific threat class, τk\tau_k is the threshold defining ASL level k , and SkS_k is the security and deployment standard the policy requires once that threshold is crossed. This is worth writing out because a threshold-triggered commitment is only meaningful if it is sometimes not satisfied by default — otherwise it is a description of business as usual, not a constraint.…

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 article section

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