препятствие
Silent failures
The core problem of long tasks: failing without signalling failure — confidently returning a wrong result.
Milestones on the line · GATE
Verifiable reliability
Before trusting AI with an operating theatre, a power plant or a company's books, you must be able to prove it will not fail silently. No such method exists today.
Autonomy is limited by guarantees, not intelligence. Without formal behavioural verification, AI will not enter critical loops.
StatusGATE
TypeMilestones on the line
Marker?
What exists today5
In progress
2026
Dangerous capability evals
Bio and cyber risk testing became a standard part of frontier releases rather than a goodwill gesture.
сейчас
Mechanistic interpretability
The attempt to see inside the model rather than judge it by its output. So far it works at toy scale.
Planned
в планах
Audit as a requirement
Regulation turns verifiability from a virtue into a shipping requirement.
Distant horizons
впереди
A behavioural certificate
A formal guarantee that a system stays inside drawn boundaries — the equivalent of aircraft certification.
Milestones on the line
To the line