Bill Commons
All policy developments

Mechanisms to Verify International Agreements About AI Development

Original-author research report on candidate approaches for verifying possible future international agreements about AI development, including compute-location, training, and evaluation questions.

Automated source check: observed.

Issuer
Machine Intelligence Research Institute, Technical Governance Team
Jurisdiction / parties
International research
Instrument
research report
Status
published · as of 2024-11-27
Published
2024-11-27
Last source check
2026-10-31T07:30:18.124533+00:00

What the instrument says

Research report, not treaty proposal with legal force.

  • No legal actor

    The report creates no legal duty; it analyzes candidate mechanisms for hypothetical future agreements.

    MIRI report abstract

What would need to be proven?

The following mappings are analysis. Candidate evidence is not proof that a vendor satisfies an obligation, and hardware attestation alone does not establish legal compliance.

Claim to examine
A mechanism could provide evidence concerning a specified future agreement rule.
Candidate evidence
Threat model, hardware inventory, inspection protocol, sensor records, and adversarial tests.
Possible approach
Evaluate mechanism-specific false-positive, false-negative, access, and evasion assumptions.
Assumptions
  • Participating states would agree to rules and supporting access/infrastructure.
Limits and open questions
  • Not an adopted agreement or demonstrated deployed verification system.

Original sources

  • MIRI original-author research page

    abstract

    Published: 2024-11-27 · Retrieved: 2026-10-31T07:30:18.124533+00:00

    Manual source audit: 2026-10-31T03:24:41Z

    Retrieval method: automated fetch

    • Original-author technical-governance page identifies Aaron Scher and Lisa Thiergart and the 27 November 2024 report date.
    • It frames the work as verification approaches for possible international agreements, including state-involved development and limitations of technical feasibility.

    Audit limit: This is a research proposal, not evidence that an international agreement exists or that a mechanism has been deployed.

  • MIRI report PDF

    executive summary

    Published: 2024-11-27 · Retrieved: Not independently retrieved

Observation history

This is Bill Commons’ retained observation history, not a complete history of the instrument. A changed source body requires review before its policy meaning is updated.

  1. 2026-10-31T03:24:41Z · registry record created

    Curated registry entry created; this is not a source retrieval.

  2. 2026-10-31T07:30:18.124533+00:00 · source check

    Source fetch outcome; body changes require human review and do not assert a policy change.