If you can't trust, then verify!

How the "Glass Perimeter" could enable AI treaties Crossposted from canaryinstitute.ai/blog/cant-trust-then-verify. Thanks to Naci Cankaya for reviewing an earlier draft of this post; I'm deliberately simplifying many aspects for conceptual clarity, and any mistakes are mine. He also asked me to emphasize that this is a proposal, and many pieces still need extensive work. If you're interested in helping, see proofworks.cc/living-docs and the AI-2040 Get Involved in Verification page. Imagine tha...