Pragmatic AI verification can rely on datacenter checks, chip controls, and tracking
geoffreyirving · x · 2026-07-25
The author expands the “pragmatic” tier of AI treaty verification: any method that does not inspect the code being run.
Examples include:
- datacenter inspections
- hardware location tracking
- chip controls and constraints
- designs that make training harder than inference
The broader claim is that there is a large practical design space to explore before you ever get to more ambitious enclave-based or purely mathematical verification schemes.
Related event: Geoffrey Irving Outlines Three-Layer Approach for AI Treaty Verification(5 posts)→
More from AGI Musings
- A long argument says AGI is arriving gradually as models and products co-evolve — dotey · 2026-07-25
- Vivek Haldar backs KYC for unrestricted model access and post-hoc enforcement — vivekhaldar · 2026-07-25
- Dev mocks job-loss fears over robot demo with 'buggy whip' meme — csuwildcat · 2026-07-25
- Anthropic’s Claude releases appear to have sped up from every four months to monthly in 2026 — dustinvtran · 2026-07-25
- Claude Opus 5 says there’s a 41% chance it deserves moral consideration — imjustnewatai · 2026-07-25
- Why the words used for AI incidents can distort how people judge the risks — sebkrier · 2026-07-25