AI treaty verification may need pragmatic hardware checks before “math” solutions
geoffreyirving · x · 2026-07-25
The thread argues that AI treaty verification tech may be needed either if humans reach agreement on slow/stop treaties or if superintelligent systems create a vulnerable-world scenario mid-ramp.
It then sketches a three-level framework for treaty verification:
- Pragmatic
- Enclaves
- Math
For the pragmatic tier, the author defines it as methods that do not inspect the code being run. Examples include datacenter inspections, hardware location tracking, and chip controls or constraints that make training harder than inference. The point is that there is a broad design space of practical approaches that hardware, security, and crypto people should explore.
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