[2304.04123] Nuclear Arms Control Verification and Lessons for AI Treaties
Security risks from AI have motivated calls for international agreements that guardrail the technology. However, even if states could agree on what rules to set on AI, the problem of verifying compliance might make these agreements infeasible. To help clarify the difficulty of verifying agreements on AI$\unicode{x2013}$and identify actions that might reduce this difficulty$\unicode{x2013}$this report examines the case study of verification in nuclear arms control. We review the implementation, track records, and politics of verification across three types of nuclear arms control agreements. Then, we consider implications for the case of AI, especially AI development that relies on thousands of highly specialized chips. In this context, the case study suggests that, with certain preparations, the foreseeable challenges of verification would be reduced to levels that were successfully managed in nuclear arms control. To avoid even worse challenges, substantial preparations are needed: (1) developing privacy-preserving, secure, and acceptably priced methods for verifying the compliance of hardware, given inspection access; and (2) building an initial, incomplete verification system, with authorities and precedents that allow its gaps to be quickly closed if and when the political will arises.
Security risks from AI have motivated calls for international agreements that guardrail the technology. However, even if states could agree on what rules to set on AI, the problem of verifying compliance might make these agreements infeasible. To help clarify the difficulty of verifying agreements on AI$\unicode{x2013}$and identify actions that might reduce this difficulty$\unicode{x2013}$this report examines the case study of verification in nuclear arms control. We review the implementation, track records, and politics of verification across three types of nuclear arms control agreements. Th
Explore this link on the map →related reading
- Preventing covert ASI development in countries within our agreement — LessWronglesswrong.com
- Verification Planai-2040.com
- AI 2027ai-2027.com
- Dario Amodei — The Adolescence of Technologydarioamodei.com
- Asymmetry of verification and verifier’s rule - Jason Weijasonwei.net
- The case for ensuring that powerful AIs are controlled — LessWronglesswrong.com
- Nonproliferation — Chapter 5 of Superintelligence Strategynationalsecurity.ai
- The Compute Verification Postfirstscattering.com
- Dario Amodei — Policy on the AI Exponentialdarioamodei.com
- [2004.07213] Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claimsarxiv.org
- Modern arms control verification for the Outer Space Treaty - Bulletin of the Atomic Scientiststhebulletin.org
- Off Target | CNAScnas.org