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 to AI Treaty Verification(7 posts)→
More from AGI Musings
- Op-ed: the ">10% extinction" narrative is liability evasion — AI is just software, and the vendor is the defendant — gerardsans · 2026-09-11
- Economist Warns US Collective Action Could 'Regulate AI Progress Out of Existence' — paulnovosad · 2026-09-11
- AI researchers just saw the power of a single resignation — and still claim there's nothing they can do — birchlse · 2026-09-11
- mark_k: "Eject all doomers from the AI companies — they're destroying you from the inside" — mark_k · 2026-09-11
- Adam Marblestone's Podcast Reading List: Evolution of Intelligence to Digital Minds — KordingLab · 2026-09-11
- Superintelligence will be maximum good, not stupid or evil, argues Patterson — davidpattersonx · 2026-09-11