Equation 12 · The Hardest Unsolved Problems in AI Agent Evaluation and Reliability
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 gives an approximation: it relates the quantities while allowing an approximation. 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 T_50
0 is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Symbol t
t is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Symbol t_0
is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Symbol τ
τ is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
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.
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.
See an illustrated explanation →How to interpret it
Its accuracy depends on the assumptions and range of use described in the article.
What the article says around this equation
The clearest empirical trend in this area comes from METR, which measured how the length of software tasks that leading agents can complete at even odds has changed over time, expressed as a time horizon - the length of task, in expert-human time, that an agent completes successfully half the time. Kwa and colleagues report that this time horizon has been doubling roughly every seven months since 2019, which can be written as an empirical fit . and they further find that this trend is driven substantially by improved reliability and error recovery over long horizons, not only by raw single-step capability [ 4 ] . This is a genuinely informative fact and it is also,…
Read the full surrounding passage
The clearest empirical trend in this area comes from METR, which measured how the length of software tasks that leading agents can complete at even odds has changed over time, expressed as a time horizon - the length of task, in expert-human time, that an agent completes successfully half the time. Kwa and colleagues report that this time horizon has been doubling roughly every seven months since 2019, which can be written as an empirical fit . and they further find that this trend is driven substantially by improved reliability and error recovery over long horizons, not only by raw single-step capability [ 4 ] . This is a genuinely informative fact and it is also, explicitly, a fitted trend rather than a mechanistic law: it describes how far the doubling has extended across the tasks METR’s suite has covered so far, and nothing in the method guarantees the extrapolation survives contact with a task distribution that suite never sampled. Treating it as a forecast about arbitrary future tasks would be overstating what the result implies; treating it as the best available description of measured historical progress on the tasks actually tested is not.
Sources cited in the surrounding passage
These citations give research context. Read each source to check which claims it supports.
Return to The Hardest Unsolved Problems in AI Agent Evaluation and Reliability