Topic
Governance & compute verification
Checking whether commitments, rules and agreements about AI are kept, including claims about chips and training runs.
Governments and parties to possible international agreements want to verify claims about large-scale AI development without seeing sensitive models or data. Such claims concern, for example, where advanced chips are or how much compute a training run used. Proposed technical evidence includes hardware-enabled mechanisms that report or enforce properties on the chip, delay-based location checks and auditable records of training runs. Until those mechanisms mature, personnel-based measures such as inspections and whistleblower programs can fill gaps. Compute is a candidate basis for verification because it is detectable, quantifiable and excludable, meaning that access to it can be restricted. But many of these mechanisms have not been built or stress-tested. They could also create risks of abuse, privacy loss and concentration of power. This topic also tracks the laws, codes and standards that determine which of these claims developers must document and how they can be checked.
Coverage
European Commission Cites EN 18286 as a Harmonized Standard Under the AI Act
A Commission implementing decision, published in the Official Journal on 14 October 2026, lists EN 18286:2026, a quality management system standard for providers of AI systems. CEN-CENELEC, which drafted it, calls it the first harmonized standard supporting the AI Act and says it turns the Act's quality management requirements into auditable ones.
Source date Filed verifiable.pro Wire, automated.
CSET Says Ping-Based Checks Backed by Inspections Are the Most Feasible Way to Track Exported AI Chips
A Georgetown CSET report published on 29 September 2026 finds that ping-based checks, backed by physical inspections, are the most feasible and cost-effective way to verify where export-controlled AI chips are. The authors say such a system could only detect diversion after the fact, and they decline to say whether it should be required.
Source date Filed verifiable.pro Wire, automated.
EU Publishes Digital Omnibus on AI, Delaying High-Risk Rules and Setting a Marking Grace Period
Regulation (EU) 2026/1744, published in the Official Journal on 24 July 2026, sets 2 December 2027 and 2 August 2028 as the application dates for the AI Act's high-risk rules. Providers of generative AI systems placed on the market before 2 August 2026 have until 2 December 2026 to mark their output.
Source date Filed verifiable.pro Wire, automated.
EU AI Office Seeks Expert Input on Requirements for External Evaluators of General-Purpose AI Models
The European Commission's AI Office called on 12 June 2026 for experts to join a workshop on the independence and qualification requirements for outside evaluators of general-purpose AI models with systemic risk. Under the EU's voluntary Code of Practice for general-purpose AI, the providers whose models are assessed engage these evaluators themselves.
Source date Filed verifiable.pro Wire, automated.
House Committee Advances Chip Security Act With Location Verification as One of Several Options
The House Foreign Affairs Committee voted 42-0 on 26 March 2026 to report a revised Chip Security Act to the full House. Under it, the Commerce Department would require exported data-center AI chips to be secured by mechanisms that can show whether they were diverted, with ping-based location checks as one listed option.
Source date Filed verifiable.pro Wire, automated.
South Korea's AI Basic Act Takes Effect With Labeling Duties for Generative AI Output
South Korea's framework law on artificial intelligence took effect on 22 January 2026 and requires providers to label generative AI output, in machine-readable form if they choose. The science ministry says it will hold off on investigations and fines for at least a year.
Source date Filed verifiable.pro Wire, automated.
BIS Moves H200-Class Chip Exports to China to Case-by-Case Review With US Lab Testing
A US export rule that took effect on 15 January 2026 allows case-by-case review of license applications to export chips such as the NVIDIA H200 to China. An independent US lab must confirm each shipment's performance specifications, while the rule's other conditions rest on the exporter's certifications.
Source date Filed verifiable.pro Wire, automated.
Resources
All 170 resourcesExplanatory Notice and Template for the Public Summary of Training Content for general-purpose AI models
Summary
Mandatory template under Article 53(1)(d) of the EU AI Act for the public summary of training content. Providers of general-purpose AI models must publish this summary. It covers data sources such as large public datasets, the most-scraped web domains and user data.
Framework Act on the Development of Artificial Intelligence and the Creation of a Foundation for Trust
Summary
South Korean law in force since 22 January 2026. The link is to the Korea Legislation Research Institute's unofficial English translation. The law requires generative AI outputs to be labeled. AI-generated sounds, images or videos that are hard to tell apart from real ones must be clearly disclosed. The law also sets risk-management duties for AI systems trained above a compute threshold.
Computing Power and the Governance of Artificial Intelligence
Summary
Argues that AI compute is detectable, excludable (access to it can be withheld) and quantifiable, which makes it a lever for regulatory visibility, resource allocation and enforcement. It also warns of privacy, economic and centralization risks.
What does it take to catch a Chinchilla? Verifying Rules on Large-Scale Neural Network Training via Compute Monitoring
Summary
Proposes on-chip weight snapshots, training-run records and chip supply-chain monitoring so that governments can verify that no actor ran a prohibited large training run.
Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment
Summary
Report finding that states could eventually verify compliance with rules on large-scale AI development through six largely independent approaches, from chip security features to whistleblower programs.
Mechanisms to Verify International Agreements About AI Development
Summary
Overview of verification approaches for three example policy goals. It argues that more access, such as physical inspections of data centers, can often substitute for technical mechanisms that are still immature.
Nuclear Arms Control Verification and Lessons for AI Treaties
Summary
Case study of verification in three types of nuclear arms control agreements. It draws lessons for agreements on AI development that relies on thousands of specialized chips.
Hardware-Enabled Mechanisms for Verifying Responsible AI Development
Summary
Workshop-based overview of hardware-enabled mechanisms (HEMs) for reporting training compute, cluster configuration or location in a verifiable way. HEMs are features built into AI chips or servers. The overview also covers open questions about implementing them.
Hardware-Enabled Governance Mechanisms: Developing Technical Solutions to Exempt Items Otherwise Classified Under Export Control Classification Numbers 3A090 and 4A090
Summary
RAND working paper introducing hardware-enabled governance mechanisms for AI chips, the export-control objectives they could support, and the attacks they would need to withstand.
Secure, Governable Chips: Using On-Chip Mechanisms to Manage National Security Risks from AI & Advanced Computing
Summary
CNAS report proposing on-chip governance mechanisms for data-center AI chips, such as privacy-preserving verification and operating licenses that a chip needs to keep running. It names export control enforcement as a near-term application.
Location Verification for AI Chips
Summary
Issue brief proposing delay-based location verification for AI chips. A chip's response times to trusted landmark servers set an upper limit on its distance from them. The brief estimates the cost of a firmware update and a landmark network.
Flexible Hardware-Enabled Guarantees for AI Compute
Summary
First paper in a three-part series proposing flexible hardware-enabled guarantees (flexHEG). The proposal places an auditable guarantee processor in a tamper-protective enclosure to monitor the use of AI accelerators.
Tools for Verifying Neural Models' Training Data
Summary
Introduces proof-of-training-data protocols, which let a model trainer show which data produced a set of weights. Examples include pre-committed random seeds and checks based on models' tendency to temporarily overfit their training data. In the authors' experiments, these protocols caught all known proof-of-learning attacks.
Opt-In NVIDIA Software Enables Data Center Fleet Management
Summary
NVIDIA's announcement of an opt-in, customer-installed service that streams GPU telemetry (operating data) to a fleet dashboard. NVIDIA states that its GPUs have no hardware tracking technology, kill switches or backdoors.
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
Summary
Multi-author report on how AI developers could make verifiable claims about the safety, security, fairness and privacy of their systems. It analyzes ten institutional, software and hardware mechanisms, such as third-party auditing, red teaming, audit trails and secure hardware for machine learning. It recommends steps to implement or improve them.
H.R. 3447: Chip Security Act
Summary
Bill introduced in the U.S. House on 15 May 2025. It would require export-controlled advanced chips to carry location verification mechanisms before export. It would also require license holders to promptly report credible information on diversion or tampering.
America’s AI Action Plan
Summary
White House policy plan. Its recommended actions include exploring location verification features on advanced AI chips to enforce export controls. They also include having NIST's Center for AI Standards and Innovation (CAISI) evaluate frontier AI systems for national security risks and assess risks from adversaries' AI systems.
Tracking AI Chips: Assessing Location Verification as an Export Control Enforcement Tool
Summary
CSET report that assesses methods for verifying the location of AI chips to enforce export controls. It judges the methods on verifiability, accuracy, security and repeatability. It finds that the most feasible approach is ping-based verification (timing a chip's network replies) supplemented by physical inspections. The report also sets out that approach's limitations.
Verification for International AI Governance
Summary
Report finding that many international AI agreements could be verified without speculative technology. It finds that rules on data-center AI development appear verifiable within a few years, given dedicated verification hardware and serious effort. It also finds that detailed rules on mobile AI-enabled devices in sensitive domains, such as weapons, face severe political barriers.
How to Catch a GPU: A Taxonomy of Verification and Enforcement Mechanisms for International AI Agreements
Summary
Taxonomy for assessing whether proposed international AI agreements can be enforced. It splits compliance into three problems: preventing uncontrolled resource acquisition, detecting all capacity outside the control regime, and preventing escape from the regime. It also defines an enforcement breaking point, the compute threshold at which a policy loses its effectiveness.