← Back to article

Equation 8 · Comparing the Main Approaches to AI Agent Architecture

What does this equation mean?

g(i)∼πsuper(g∣task),at(i)∼πworker(i)(a∣o≤t(i), ht(i), g(i)).g^{(i)} \sim \pi_{\text{super}}(g \mid \text{task}), \qquad a_t^{(i)} \sim \pi_{\text{worker}}^{(i)}\bigl(a \mid o_{\le t}^{(i)},\ h_t^{(i)},\ g^{(i)}\bigr).

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

g(i)g^{(i)}

Symbol g^(i)

g^(i) is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

πsuper\pi_{\text{super}}

Symbol pi_super

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

Understand this part →

gg

Symbol g

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

Understand this part →

at(i)a_t^{(i)}

Symbol a_t^(i)

a_t^(i) is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

πworker(i)\pi_{\text{worker}}^{(i)}

Symbol pi_worker^(i)

piwi_worker^(i) is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

aa

Symbol a

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

Understand this part →

o≤t(i)o_{\le t}^{(i)}

Symbol o_ ≤ t^(i)

o_ ≤ t^(i) is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

ht(i)h_t^{(i)}

Symbol h_t^(i)

h_t^(i) is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

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 →

superscript

superscript

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Understand this part →

See an illustrated explanation →

How to interpret it

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

What the article says around this equation

Formally, the supervisor’s policy chooses a subgoal for each worker, and each worker then runs its own instance of the general loop against a history that never touches its siblings’: g(i)∼πsuper(g∣task),at(i)∼πworker(i)(a∣o≤t(i), ht(i), g(i))g^{(i)} \sim \pi_{\text{super}}(g \mid \text{task}), \qquad a_t^{(i)} \sim \pi_{\text{worker}}^{(i)}\bigl(a \mid o_{\le t}^{(i)},\ h_t^{(i)},\ g^{(i)}\bigr). Because h(i)h^{(i)} and h(j)h^{(j)} are disjoint by construction, worker i ’s error cannot enter worker j ’s context directly — it can only reach the supervisor, and only in whatever compressed form the worker chooses to report. That disjointness is the formal reason this pattern offers stronger containment than the single loop for genuinely independent subtasks, and it is also exactly why the pattern is documented to struggle when subtasks are not independent: the architecture has no channel for…
Read the full surrounding passage
Formally, the supervisor’s policy chooses a subgoal for each worker, and each worker then runs its own instance of the general loop against a history that never touches its siblings’: g(i)∼πsuper(g∣task),at(i)∼πworker(i)(a∣o≤t(i), ht(i), g(i))g^{(i)} \sim \pi_{\text{super}}(g \mid \text{task}), \qquad a_t^{(i)} \sim \pi_{\text{worker}}^{(i)}\bigl(a \mid o_{\le t}^{(i)},\ h_t^{(i)},\ g^{(i)}\bigr). Because h(i)h^{(i)} and h(j)h^{(j)} are disjoint by construction, worker i ’s error cannot enter worker j ’s context directly — it can only reach the supervisor, and only in whatever compressed form the worker chooses to report. That disjointness is the formal reason this pattern offers stronger containment than the single loop for genuinely independent subtasks, and it is also exactly why the pattern is documented to struggle when subtasks are not independent: the architecture has no channel for worker i to see worker j ’s intermediate state even when the task actually requires it. Cost rises with the documented multiplier, latency improves only to the extent that subtasks are truly parallelizable, and debuggability gets harder in a specific way — failures are now spread across several separate transcripts that something has to reconcile after the fact, rather than sitting in one place.

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 Comparing the Main Approaches to AI Agent Architecture

See this formula across 1 published context →

Browse the mathematical compendium →