Skip to content
Frontier Benchmarks & Evaluation Trends

Frontier Benchmarks & Evaluation Trends

Companion page to AI Model Benchmarking, which covers the composite indices used for model and provider selection. This page covers the individual benchmarks those indices are built from — what each one actually measures, how to read a leaderboard without being misled, and where evaluation is heading.

Public benchmarks and your own evaluations answer different questions, and confusing the two is the most common evaluation mistake:

Public benchmarksYour own eval set
Question answeredWhich models are worth trying at all?Which model, prompt, and scaffold ship for our task?
DataShared, often public, sometimes in training corporaYour inputs, your known-good outputs
DecidesThe shortlistThe release
Covered inThis pagePrompt & Context Design → Evaluation

A benchmark score is evidence about a model’s general capability. It is never evidence that the model works for your workload.


The Saturation Treadmill

Benchmarks have a life cycle. A new one separates frontier models cleanly; two years later, everyone scores in the high nineties and the differences at the top are noise. Each generation has been built to escape the ceiling of the last:

    flowchart LR
    A["Knowledge recall\nMMLU, HellaSwag"] --> B["Hard reasoning\nGPQA Diamond, AIME"]
    B --> C["Frontier difficulty\nHLE, FrontierMath, ARC-AGI-2"]
    C --> D["Environments & agents\nSWE-bench, Terminal-Bench, OSWorld"]
    D --> E["Economic value\nGDPval, domain suites"]
    style A fill:#f1f5f9,stroke:#64748b
    style E fill:#f5f3ff,stroke:#7c3aed
  
GenerationRepresentative benchmarksWhat broke it
Knowledge recallMMLU, HellaSwag, HumanEvalSaturated above ~90%, and widely enough reproduced online to be assumed contaminated
Hard reasoningGPQA Diamond, AIME, MATHFrontier models now score at or above domain-expert level; the remaining gap is annotation error
Frontier difficultyHumanity’s Last Exam, FrontierMath, ARC-AGI-2Deliberately built to be unsolved at release; several have moved fast anyway
Environments & agentsSWE-bench Verified / Pro, Terminal-Bench, OSWorld, τ-benchStill the active frontier — success depends on the harness as much as the model
Economic valueGDPval, occupation- and industry-specific suitesGrading is expert judgement, so throughput and cost limit how fast they can grow

A saturated benchmark is not worthless — it becomes a regression smoke test. A model that drops on MMLU has broken something. It just no longer ranks the top of the field.


ARC-AGI — the fluid-intelligence line of benchmarks

Most benchmarks test what a model knows. ARC-AGI tests whether it can acquire a new skill on the spot: every task is a handful of input/output grid pairs illustrating a rule the model has never seen, and it must infer the rule and apply it to a held-out grid. Because each puzzle is novel by construction, memorizing the training set does not transfer — which is exactly why it stayed unsolved long after knowledge benchmarks fell.

VersionReleasedShape of the taskDesign intent
ARC-AGI-12019Static grid puzzlesThe original fluid-intelligence test; resisted scaling for five years, then fell to reasoning models
ARC-AGI-22025Static grids, harder rule compositionCalibrated so that every task is solvable by at least two humans in two attempts, while frontier models started near zero
ARC-AGI-32026Interactive game environmentsMoves from one-shot answers to exploration: the agent must discover the rules of an unfamiliar environment by acting in it, over many turns

Two things make ARC-AGI worth watching beyond the headline score:

  • Cost per task is reported alongside accuracy. A system that brute-forces a puzzle with thousands of sampled programs is not doing the same thing as one that solves it in a single pass, and the leaderboard makes that visible instead of hiding it. This is the clearest mainstream example of efficiency-normalized evaluation.
  • A human baseline is measured, not assumed. Tasks are validated on real people, so “AI vs. human” comparisons on ARC are grounded rather than rhetorical.

ARC-AGI-2 has since followed its predecessor up the curve — the snapshot below puts the top of that leaderboard above the benchmark’s own grand-prize threshold, roughly eighteen months after release. ARC-AGI-3 is the more informative track today. It is the shift the whole field is making in miniature: from answer this question to operate in this environment and figure out what the goal even is.


OSWorld 2.0 — evaluating computer use

Computer-use evaluation asks a different question from every text benchmark: not can the model answer, but can an agent operate a machine. The agent is dropped into a real virtual machine, sees screenshots, and acts with mouse and keyboard; grading is execution-based, meaning a validator script inspects the final state of the machine — the files written, the rows in the spreadsheet, the setting actually changed — rather than reading what the agent claimed it did.

OSWorld is the reference benchmark for this, and its three releases track how the whole field’s evaluation practice has matured:

ReleaseShapeWhat changed
OSWorld (2024)369 tasks across Ubuntu, Windows, and macOS, in real applicationsEstablished the format: real OS, screenshot observations, execution-based validators, binary pass/fail
OSWorld-Verified (2025)Same tasks, repairedA cleanup release after audits found broken validators and unsolvable tasks — the same “Verified” pattern as SWE-bench Verified, and now a standard step in a benchmark’s life
OSWorld 2.0 (2026)108 long-horizon end-to-end workflowsTasks that take a human a median of roughly 1.6 hours, needing hundreds of tool calls instead of the ~30 typical of 1.0

What makes 2.0 worth studying as an evaluation method, separate from its scores:

Design choiceHow it worksWhy it matters
Partial credit via checkpointsAround 27 task-specific checkpoints per task, instead of one pass/fail bitBinary scoring gives the same zero to an agent that did nothing and one that completed most of a two-hour workflow but missed a final save — useless signal for improving an agent
Dynamic environmentsTask-relevant emails or chat messages are injected mid-runTests whether the agent keeps monitoring its channels and revises a plan under new constraints, instead of treating the state it saw first as final
Mostly functional checksValidators read environment state and output artifacts; a small minority of the score comes from model-based grading, and that portion is restricted to objective binary checklistsKeeps an LLM judge from becoming the measurement — it fills the gaps that state inspection genuinely cannot reach
Explicit step budgetRuns are reported at a fixed maximum number of stepsA step budget is a cost ceiling; without it, “success” quietly becomes a question of how long you were willing to pay

The reason to care about the internals: on OSWorld 2.0 the same run can be reported two ways. At a 500-step budget, published results put the leading agents near 31% binary completion but roughly 68% partial score — the agent gets most of the way through most workflows and then fails to finish. Both numbers are honest; quoting either without saying which is not. This single benchmark is the clearest available demonstration of why “what does this number mean” beats “whose number is higher”.

For infrastructure teams, the practical cost of this style of evaluation is real: every task needs a fresh VM snapshot, isolation between runs, and a budget for hundreds of model calls per task. Running a computer-use suite internally is a platform project, not a script — which is the same conclusion the trends section below reaches from the other direction.


Benchmark map by capability

When a model is announced, the scores quoted are chosen by the vendor. This is the fuller map to check against:

CapabilityBenchmarks in useNotes
Knowledge & reasoningGPQA Diamond, Humanity’s Last Exam, MMLU-ProHLE spans 100+ subjects with expert-written questions; a large fraction is multimodal
MathFrontierMath, AIME, MathArenaFrontierMath is held privately and tiered by difficulty; MathArena scores competitions after the model’s cutoff to avoid contamination
AbstractionARC-AGI-2 / -3Novel-task reasoning rather than recall — see above
CodingSWE-bench Verified, SWE-bench Pro, LiveCodeBench, SciCodeVerified is the human-filtered subset of SWE-bench; LiveCodeBench rotates in fresh problems continuously
Terminal & toolsTerminal-Bench, τ-benchDeterministic grading via exit codes, file diffs, and output matching
Computer useOSWorld 2.0, OSWorld-Verified, WebArenaThe agent drives a real desktop or browser from screenshots, graded on machine state — see above
Long contextAA-LCR, needle-and-reasoning variantsRetrieval over long inputs is largely solved; reasoning across the whole input is not
HallucinationAA-Omniscience, SimpleQAScore both what the model gets right and what it asserts wrongly — see Guardrails & Security
Economic valueGDPval1,300+ tasks drawn from the real deliverables of 44 occupations across nine industries, graded by professionals against expert-produced work

Snapshot — where the numbers stood in September 2026

Scores below were compiled on 2026-09-06 from the public leaderboards linked in each row. They are included to show the shape of the field, not as a citable ranking: frontier numbers move weekly, aggregators disagree, and the entry at the top of any row will likely be stale by the time you read it. Follow the link before quoting a figure.

BenchmarkLeading resultRunners-upAs of / source
ARC-AGI-2GPT-6 Astra — 95.0%GPT-5.6 Sol 92.5%, Claude Opus 5 90.4%Sep 3, 2026 — BenchLM, llm-stats
ARC-AGI-3GPT-6 Astra — 62.7%Claude Opus 5 30.2%, GPT-5.6 Sol 7.8%Sep 4, 2026 — BenchLM, ARC Prize
Humanity’s Last ExamClaude Fable 5.1 — 65% (tool-assisted boards) down to 46.5% (no tools, text only)Claude Opus 5 64.7%, Claude Mythos 5 64.5%Sep 4–5, 2026 — BenchLM, Artificial Analysis, llmrun
FrontierMath v2 (Tier 4)GPT-6 Astra — 97.6%GPT-5.6 Sol 83.0%, GPT-5.6 Terra 68.3%Sep 4, 2026 — BenchLM, Epoch AI
SWE-bench VerifiedClaude Opus 5 — 96%Claude Mythos 5 95.5%, Claude Fable 5 95%Sep 2–4, 2026 — BenchLM, llm-stats
SWE-bench ProClaude Fable 5.1 — 81.2%2026 — CodingFleet
Terminal-Bench 2.0GPT-5.6 Sol — 91.9%Claude Mythos 5 88.0%, GPT-5.6 Terra 87.4%Sep 2026 — BenchLM, tbench.ai
OSWorld 2.0GPT-6 Astra — 72.6%Claude Opus 5 70.6%, Muse Spark 1.3 66.9%Sep 4, 2026 — BenchLM, Snorkel AI
OSWorld 2.0 (same benchmark, reported as binary vs. partial at a 500-step budget)Claude Opus 5 — 31.4% binary / 68.3% partialGPT-5.6 Sol 27.3% / 62.7%2026 — Snorkel AI
OSWorld-VerifiedQwen3.8 Max — 86.1%Claude Fable 5 85%, Claude Mythos 5 85%Sep 4, 2026 — BenchLM, Steel.dev
GDPvalGPT-5.2 — 70.9% win+tie vs. expert deliverables (49.7% outright wins)GDPval-AA Elo: Claude Opus 5 1862, Claude Fable 5.1 18532026 — Epoch AI, Artificial Analysis

Four things this table shows better than any argument:

  • The treadmill is fast. ARC-AGI-2 was built in 2025 to be near-zero for models and is now above its own 85% grand-prize threshold, against an average individual human score of 66%. FrontierMath Tier 4 — the hardest tier of a benchmark designed to last — reads the same way at the top.
  • Protocol matters more than model at the top. Humanity’s Last Exam spans roughly 46% to 65% for the same model family, depending on whether search, browsing, and code execution are allowed. A number without its protocol is not a result.
  • Aggregators disagree. SWE-bench Verified appears as 96% or 97% depending on whose harness ran it, and the top several models sit within about one point — inside the noise of the harness itself.
  • The unsaturated benchmarks are the interactive ones. ARC-AGI-3 and long-horizon computer use still have real headroom — on OSWorld 2.0, agents finish under a third of the workflows outright even while scoring around 70% on partial credit, and the gap between first and second place there dwarfs anything on the coding leaderboards.

Reading a leaderboard without being fooled

TrapWhat it looks likeWhat to do
ContaminationA model scores far better on a public benchmark than on its private variantPrefer rotating or post-cutoff benchmarks (LiveCodeBench, MathArena, current-year AIME)
Harness varianceThe same model posts very different agentic scores in different reportsCheck the scaffold: tool set, retry budget, context length. On agentic benchmarks the harness is part of the result
pass@k inflationAn impressive number that turns out to be best-of-many attemptsCompare pass@1 to pass@1, and check how many attempts each cell averages
Overlapping confidence intervalsRanks 1–3 separated by a few pointsOn preference arenas, differences smaller than the CI are noise, not ranking
Self-reported scoresVendor-run evaluation with an unspecified setupCross-check against an independent evaluator such as Artificial Analysis
Cost blindnessA top score achieved with enormous per-task computeRead accuracy together with cost and latency, the way ARC-AGI reports it
Private benchmarksHeld-out sets that cannot be independently reproducedThey resist contamination but require trusting the maintainer — treat them as one signal, not the signal

The practical rule is triangulation: a static academic benchmark, a human-preference arena, and an agentic suite. Where all three agree, the ranking is probably real. Where they disagree, the disagreement is usually the interesting information.


Where evaluation is heading

TrendWhat is changingWhy it matters for infrastructure
From questions to environmentsBenchmarks ship as runnable environments — a repo, a shell, a desktop, a customer-service simulator — rather than a list of promptsEvaluation now needs sandboxes, container orchestration, and per-run isolation; running an agentic suite is an infrastructure project, not a script
From accuracy to efficiencyCost, tokens, and wall-clock time are reported next to the scoreMatches how models are actually chosen in production, where a 2-point gain rarely justifies a 10× cost
From single-turn to long-horizonTasks measured in hours of agent work, with partial credit and checkpoints — OSWorld 2.0 workflows take a human about 1.6 hours and hundreds of agent tool callsReliability compounds: a 95%-per-step agent finishes a 50-step task less than one time in ten
From static to liveContinuously refreshed problem sets and post-cutoff competitionsContamination resistance becomes a property of the benchmark’s operating model, not its content
From capability to valueGDPval-style evaluation against real professional deliverablesConnects model choice to business impact rather than to a score with no unit
Goodhart pressureBenchmarks with verifiable rewards are also excellent RL training targetsA benchmark used for training stops measuring generalization; held-out and rotating sets are the only defense

Applying this in practice

    flowchart TD
    A["Frontier leaderboards\n(capability shortlist)"] --> B["Filter by task type\ncoding / agentic / reasoning"]
    B --> C["Cross-check independent eval\n+ cost and latency"]
    C --> D["Run your own eval set\n20-50 real cases"]
    D --> E{"Beats what we ship\ntoday?"}
    E -->|"Yes"| F["Ship behind a version pin"]
    E -->|"No"| B
    F --> G["Keep the eval set running\nas a regression gate"]
  

Checklist

  • Identify which two or three benchmarks actually correspond to your workload — ignore the rest of the announcement
  • Confirm the score is pass@1 under a harness comparable to the one you will run
  • Check the same model on an independent evaluator, not only the vendor’s own numbers
  • Read cost and latency alongside accuracy before shortlisting
  • Verify against a contamination-resistant benchmark if the task resembles a well-known public dataset
  • Replace the leaderboard with your own eval set before the release decision
  • Re-run that eval set on every model and prompt version change — see Prompt & Context Design

Related Categories