← Back to article

Equation 6 · From Autocomplete to Delegation: The Technical History Behind OpenAI Codex

What does this equation mean?

at∼πθ(a∣o≤t,ht,g),ot+1=E(st,at),a_t\sim\pi_\theta(a\mid o_{\le t},h_t,g), \qquad o_{t+1}=E(s_t,a_t),

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Inputs and operationsE(s_t,a_t)
Result or conditiona_tsimpi_θ(amid o_ ≤ t,h_t,g), qquad o_t+1
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states a bound: one expression must stay on the indicated side of the other under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

ata_t

Symbol a_t

ata_t is part of the quantity the equation computes from the expression on the right.

Understand this part →

πθ\pi_\theta

Symbol pi_θ

pi_θ is part of the quantity the equation computes from the expression on the right.

Understand this part →

aa

Symbol a

a is part of the quantity the equation computes from the expression on the right.

Understand this part →

o≤to_{\le t}

Symbol o_ ≤ t

o_ ≤ t is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Understand this part →

hth_t

Symbol h_t

hth_t is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Understand this part →

gg

Symbol g

g is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Understand this part →

ot+1o_{t+1}

Symbol o_t+1

oto_t+1 is part of the quantity the equation computes from the expression on the right.

Understand this part →

EE

Symbol E

E is an input to the expression that computes the quantity on the left.

Understand this part →

sts_t

Symbol s_t

the environment e executes it against state.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
addition

addition

Add the term after the plus sign to the term or group before it.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

An agent trajectory can be represented as at∼πθ(a∣o≤t,ht,g),ot+1=E(st,at)a_t\sim\pi_\theta(a\mid o_{\le t},h_t,g), \qquad o_{t+1}=E(s_t,a_t). where the model policy chooses an action, environment E executes it against state sts_t , and the result becomes the next observation. This closes a feedback loop absent from one-shot completion.

Read the equation in its article →

Sources cited in the article section

These citations give research context. Read each source to check which claims it supports.

Return to From Autocomplete to Delegation: The Technical History Behind OpenAI Codex

See this formula across 1 published context →

Browse the mathematical compendium →