Equation 7 · Part 3 · The Main Technical Approaches to AI Alignment, Compared
Symbol E_τsim(pi_1,pi_2)
What this part means
E_τsim(p,p) is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Its job in the formula
E_τsim(p,p) is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Full expression→Symbol E_τsim(pi_1,pi_2)→Article meaning
The passage around this formula
Debate targets the oversight ceiling directly rather than working around it, and its motivation is stated in explicitly theoretical terms. Irving, Christiano, and Amodei propose training two agents through self-play in a zero-sum game: each argues a position in alternating statements, and a human judge decides which one gave more true, useful information. The paper’s central theoretical claim draws an analogy to computational complexity theory, arguing that if optimal play in the debate game tracks truth, then a judge with only polynomial-time reasoning ability could in principle adjudicate a debate about problems in the complexity class PSPACE — that is, questions considerably harder than…
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 surrounding passage
These citations provide research context; check each source for the exact claim it supports.