thalens
.org
Start Here
Problems
Papers
Blog
Proofs
Graph
About
← All Domains
intelligence_theory
1 papers · 0 Lean-verified
The Shadow Theorem
We introduce the Shadow Theorem, a family of spectral bounds on the ability of a lower-capacity agent to estimate the capabilities of a higher-capacity agent.
5 claims
9,580 words