AI treaty verification is becoming an engineering problem with pragmatic, enclave, and math layers
geoffreyirving · x · 2026-07-25
Irving says several near-future scenarios will require AI treaty verification technology, and proposes a three-level taxonomy:
- Pragmatic
- Enclaves
- Math
He ends by urging hardware, security, and crypto people to work on all three, suggesting that treaty verification is becoming a concrete engineering problem rather than a purely theoretical one.
Related event: Geoffrey Irving Outlines Three-Layer Approach to AI Treaty Verification(7 posts)→
More from Safety
- DHH Slams 'GDPR Is Good' Take: Vague Rules Birthed a Bureaucratic Beast — dhh · 2026-09-11
- Houthis tried to use Claude to design missile software, Anthropic says it blocked the attempts — Affectionate_Bee6434 · 2026-09-11
- AI safety community mocked as 'bridge engineers' who say bridges can never be safe — Dan_Jeffries1 · 2026-09-11
- Why So Many AI Researchers Think the Machines Could Kill Everyone — wiredmagazine · 2026-09-11
- California creates standards for independent AI auditors to verify lab safety testing — VraserX · 2026-09-11
- a16z podcast: why 2-3 person startups are absent from policy debates — a16z Podcast · 2026-09-11