Output verification at scale
Checking keeps pace with producing when producers vastly outnumber checkers.
capabilitySpeculative Open on the map →
Facts
- Lane
- Measurement and understanding
- Wave
- 9 of 12 (build order, not a date)
- Needs
- 17 boxes all the way back through hard links
- Unlocks
- 0 boxes downstream through hard links
- Leverage
- None
- Cluster
- Science and medicine
Evidence as of October 2026
Task verification is one of the three failure categories in the multi-agent failure study.
Around it
Needs · 2
Unlocks · 1
Brakes
Works against this box
Loops and off-ramps
Openings researchers' judgement, October 2026 scouting
Startup room 36/100 · rank 87 of 124 Research room 57/100 · rank 43 of 124
- Depth
- light
- Players
- Axiom ($200m A, $1.6bn); Pramaana Labs ($27m seed); Midas ($10m)
- Wedge
- Verifying non-formalisable outputs (analysis, prose, agent actions) and spec writing; formal-methods startups are well funded, informal verification is open. research