Nuclear Arms Control Verification and Lessons for AI Treaties

04/08/2023
by   Mauricio Baker, et al.
0

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 AIx2013and identify actions that might reduce this difficultyx2013this 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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/22/2022

Artificial Intelligence and Arms Control

Potential advancements in artificial intelligence (AI) could have profou...
research
11/11/2019

Verifying OpenJDK's LinkedList using KeY

As a particular case study of the formal verification of state-of-the-ar...
research
09/11/2018

A Cryptographic Escrow for Treaty Declarations and Step-by-Step Verification

The verification of arms-control and disarmament agreements requires sta...
research
07/10/2023

International Institutions for Advanced AI

International institutions may have an important role to play in ensurin...
research
12/26/2020

Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems

Critical and cyber-physical systems (CPS) that exist in large industries...
research
08/06/2020

Roadmap to a Roadmap: How Could We Tell When AGI is a 'Manhattan Project' Away?

This paper argues that at a certain point in research toward AGI, the pr...

Please sign up or login with your details

Forgot password? Click here to reset