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
- After Microsoft's 60K layoffs, pundit predicts 50-60% headcount cuts at big companies — krishnan · 2026-10-27
- 'Explain how AI isn't impacting productivity': 27% workforce cut sparks debate — alvelda · 2026-10-27
- David Patterson: by 2035, superintelligence brings 100x incomes and post-scarcity housing — davidpattersonx · 2026-10-27
- Resy's scorched-earth war on booking agents sets up a clash with big platforms — matt_slotnick · 2026-10-27
- Michael Levin on AI Emails: Read the Papers First, Then Write Me — drmichaellevin · 2026-10-27
- Resy goes scorched earth on agent-based bookings; big agent platforms may force the issue — kevinakwok · 2026-10-27