
Data·Interactive dashboard·Sourced numbers
The Frontier: Watching AI Improve AI
AI is already improving AI — but not as one curve and not as one engine. Progress is now a portfolio of fuels, and it climbs fastest wherever a model can cheaply check its own work. Read in real, sourced numbers, the whole story is the frontier of what we can verify.
One hard ruler, four engines · % on Humanity's Last Exam
Pretraining scaleReinforcement learningSynthetic dataInference-time compute
AI improving AI, caught on camera · × cumulative speedup
Cumulative speedupAI-agent records
The AI-agent records, by idea origin · records
Accuracy gained per 10× of compute · pp
The fuel runs dry · T tokens
Training demandHuman-text ceiling
Synthetic data fills the gap · % of data used in AI
Capability index across three eras · ECI
Training lever: the big jumps · % accuracy
BaseAfter RL
Three fuels, three economics
Post-training (RL)
EconomicsPay once, free forever after
KindBaked into weights
CeilingMay be a one-time lift; needs a reward signal
Inference scaling
EconomicsPay every single time, forever
KindPer-query runtime cost
CeilingLog-linear gains saturate; overthinking hurts
Synthetic data
EconomicsCheap to generate, risky to use
KindSource feeding both
CeilingModel collapse if unfiltered; the ladder later
Verifiability of the task, not the domain · /100
Cheap auto-check — fastest gains
Competitive programmingcode · hidden tests pass/fail
97
Formal math proofmath · Lean accepts/rejects
95
Kernel / optimizer speedupcode · wall-clock is the judge
92
Fix a failing-test bugcode · SWE-bench territory
78
Partial check — mixed
Build a checkout flowcode · runs/pays checks; UX doesn't
52
Correct factual summarytext · facts semi-checkable
48
Human judgment only — slow
Make a 'good' websitecode · taste, UX, vague brief
22
Design sensible architecturecode · no test says it's right
18
Write a beautiful essaytext · any verifier is another model
12
0 · human-judgedverifiability →100 · cheap auto-check
The verifier spectrum: rock-solid to soft
Deterministic — rock-solid
ExamplesUnit tests, exact-match math, Lean proof checkers
Why it mattersReward is programmatic right/wrong. Powered DeepSeek-R1 via RLVR.
Learned judges — soft, scalable
ExamplesLLM-as-judge, reward models, rubric scoring
Why it mattersReaches finance, law, medicine — but the judge is itself a model.
The Hybrid Norm — emerging
ExamplesUnit tests for did-it-work + rubrics for is-it-good
Why it matters2026's answer: pair a hard check with a rubric judge. Anthropic recommends it.
The first answer is not the ceiling · %
GPT-5.4 (task pass)Kimi-K2.6 (task pass)
Human, AI, or the pair? · %
Overall Pass@1Partial Pass@1
The steering curve — watch it move left · %
TodayImproved
Where the agent breaks as work scales · capability tier
Wall 1: inference returns saturate, then bend down · % accuracy
Wall 3: does synthetic data doom the model?
Replace — collapses
MethodTrain only on the model's own fresh output each generation.
ResultQuality and diversity decay; useless within ~5 cycles.
SourceShumailov 2024; Alemohammad (MAD)
Accumulate — stops rot
MethodKeep all real data, pile synthetic on top; the anchor never shrinks.
ResultError stays bounded — but 'doesn't rot' isn't 'improves.' Stable mediocrity.
SourceGerstgrasser, COLM 2024; Kazdan 2024
Accumulate + verify — improves
MethodFilter synthetic through a verifier; keep only the good samples.
ResultCan reverse collapse into improvement. Ceiling set by verifier quality.
SourceYi 2026; Self-Verification, ICLR 2026
A ruler with no ceiling: task time horizon · minutes (log)
The early-warning instrument: doubling time · days
The rulers are breaking · %
LaunchNow
The honest asterisk
37%
benchmark → deployment gap
12h
horizon @ 50% reliability
25min
… @ 80% reliability
Odds of 6-years-in-2 compression
8%
Superforecasters
20%
AI domain experts
Eight instruments to watch
Task horizons
What it measuresHow long a task agents finish at 50% reliability — no ceiling yet
Invention share
What it measuresVerified-novel work as a fraction of total gains
Synthetic-data yield
What it measuresGain per synthetic token, gated by the verifier
Benchmark health
What it measuresHow fast rulers saturate; whether unsaturated ones still exist
Cost per correct answer
What it measuresDeployed cost to get a right result, not headline price
Steering burden
What it measuresHuman minutes, rounds, interventions to target quality (defined in Act 5)
Project completion gap
What it measuresDistance between task-pass and whole-system success
Verifier coverage
What it measuresShare of valuable tasks with a cheap automatic check