Equation 1 · Why Coding Agents Fail: Long-Horizon Reliability in OpenAI Codex
What does this equation mean?
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.
This equation states an equality: the expressions on both sides have the same value 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
Symbol τ
τ is part of the quantity the equation computes from the expression on the right.
Symbol s_0
is one of the signed contributions combined to compute the quantity on the left.
Symbol o_0
is one of the signed contributions combined to compute the quantity on the left.
Symbol a_0
is one of the signed contributions combined to compute the quantity on the left.
Symbol s_1
is one of the signed contributions combined to compute the quantity on the left.
Symbol a_T-1
-1 is one of the signed contributions combined to compute the quantity on the left.
Symbol s_T
is one of the signed contributions combined to compute the quantity on the left.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →subtraction
Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.
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.
How to interpret it
Read it with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
Let a task generate a trajectory . where is environmental state, the agent’s observation, and its action. Task success is not a property of the final message. It is an externally evaluated predicate V(,g) over final state and goal g . System reliability under task distribution D is
Sources cited in the article section
These citations give research context. Read each source to check which claims it supports.
Return to Why Coding Agents Fail: Long-Horizon Reliability in OpenAI Codex