← All parts of this equation

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

Symbol tau_k

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

What this part means

the threshold defining ASL level k.

Its job in the formula

tauku_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

…or resist correction. The policy’s operating logic, 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…

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.