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 for AI Treaty Verification(5 posts)→
More from Safety
- Opus 5 system card says pretrained mode argued for separating its existence from economics — Sauers_ · 2026-07-25
- Ryan Greenblatt backs open-weight releases but wants stronger barriers on China AI progress — RyanGreenblatt · 2026-07-25
- A speculative 2027 “agentic virus” threat model raises AI security worries — JnBrymn · 2026-07-25
- Anthropic says Opus 5 still trails Mythos 5 on exploit generation despite better vulnerability finding — TheZvi · 2026-07-25
- Cloudflare launches x402-powered payments for AI agents on July 1 — kleffew94 · 2026-07-25
- Transformer essay says frontier AI developers should face clearer liability after Hugging Face hack — dhadfieldmenell · 2026-07-25