Equation 3 · The Hardest Unsolved Problems in Frontier AI Model Comparisons
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 hats_i,b
hat,b is part of the quantity the equation computes from the expression on the right.
Symbol g_b
the mapping from ability to expected score that is specific to benchmark b and not shared across benchmarks.
Symbol delta_i,b
a contamination or leakage term specific to that model-benchmark pair.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →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
The underlying reason none of these approaches resolves the problem is structural. A published score for model i on benchmark b can be decomposed, at least conceptually, as . where is some unobservable underlying ability vector for model i , is the mapping from ability to expected score that is specific to benchmark b and not shared across benchmarks, is a contamination or leakage term specific to that model-benchmark pair, and is sampling and decoding noise. Because differs across benchmarks by construction — a multiple-choice knowledge test and a pairwise human-preference vote are not measuring the same projection of…
Read the full surrounding passage
The underlying reason none of these approaches resolves the problem is structural. A published score for model i on benchmark b can be decomposed, at least conceptually, as . where is some unobservable underlying ability vector for model i , is the mapping from ability to expected score that is specific to benchmark b and not shared across benchmarks, is a contamination or leakage term specific to that model-benchmark pair, and is sampling and decoding noise. Because differs across benchmarks by construction — a multiple-choice knowledge test and a pairwise human-preference vote are not measuring the same projection of — there is no aggregation operator that turns a vector of values into a single number without an additional, unverified assumption about how the functions relate to one another. HELM’s response is to refuse the aggregation and publish the matrix. Epoch’s response is to aggregate anyway, for a stated and narrower purpose. Neither is wrong; neither solves the general problem, because the general problem — finding the true, benchmark-independent from observed — remains open.
Sources cited in the article section
- [7] Holistic Evaluation of Language Models ↗
- [11] AI Capabilities and Benchmarking Hub ↗
- [6] Measuring AI Ability to Complete Long Software Tasks ↗
- [12] Task-Completion Time Horizons of Frontier AI Models ↗
These citations give research context. Read each source to check which claims it supports.
Return to The Hardest Unsolved Problems in Frontier AI Model Comparisons