Interactive learning · About 5 minutes

The Proof Gate

Decide when a self-improving machine has earned the right to change.

What you’ll explore

Explore the difference between a formal proof, a measured improvement, and a decision made under a limited budget.

A playable companion to Self-Improving Agents.

Runs in your browser. No account or installation required.

Phone, tablet, or desktop. Opens on its own page for more room to explore.