How to Secure Advanced U.S. Chips
A policy memo arguing the U.S. should close gaps in advanced chip export controls, covering remote cloud access, smuggling, H200 exports and chipmaking equipment, to limit China's frontier AI development.
Chips, export controls, compute thresholds, data centres and energy, hardware-enabled mechanisms.
A policy memo arguing the U.S. should close gaps in advanced chip export controls, covering remote cloud access, smuggling, H200 exports and chipmaking equipment, to limit China's frontier AI development.
A former DeepMind safety researcher transcribes a talk urging Indian policymakers to take loss-of-control risks from rogue AI agents seriously, and reflects on its rhetoric.
Argues that Washington needs a strategy for Chinese developers renting frontier U.S. AI compute through overseas cloud providers, proposing a policy escalation framework to address national security risks.
Proposes detecting large AI training runs from datacentre power draw via Viterbi tracking of iteration cadence, showing it is robust to most operator hiding strategies and useful for compute verification under AI governance agreements.
A rough critique of 'overhang' arguments in AI safety, which justify accelerating progress now to slow later risk, using analogies from other fields and arguing such reasoning is suspect and prone to motivated reasoning.
Estimates how far zero-knowledge proofs of LLM inference are from cost-competitive with auditing for verifying AI compute in international agreements, measuring roughly 1,700-3,800x proving overhead and hash-function compatibility issues.
Literature review of proof of useful work, a cryptographic method for GPUs to prove compute use, as a way to verify international AI pause treaties, finding open gaps in guarantees and hardware assumptions.
Argues that the US should use the threat of throttling AI chip or development trade to secure a mutual US-China deal to pace frontier AI development, citing recent agent containment incidents.
Derives a bound on how much hidden computation power-draw measurements can exclude for frontier AI compute agreements, finding analogue channels alone weak but useful when combined with re-execution.
Proposes making AI hardware resemble bounded humans, such as fused-weight ASICs, so existing institutions stay workable, arguing this is more robust than alignment-only approaches.
Proposes separating frontier AI training from deployment and enforcing the split with hardware-level ASIC inference, latency limits, and anti-dogfooding rules to reduce catastrophic AI risk.
Argues against U.S. export controls on AI chips as a misalignment-reducing policy, contending they may speed U.S. recursive self-improvement and hinder a bilateral treaty with China.
Argues that per-run FLOP caps for frontier training can be covertly bypassed by smuggling weights into new runs or aggregating parallel runs, and suggests a global training budget instead.
Geodesic Research describes compute and model-access bottlenecks that independent AI safety organisations face versus frontier labs, and proposes philanthropic interventions such as shared compute pools and brokered agent access.
Assesses whether underwater data centers could enable covert frontier AI training that evades treaty verification, finding them feasible only for well-resourced states and detectable via construction signatures and surveillance.
Formalises AI doom versus alignment deliverance as a competing-risks survival model driven by compute allocation and pacing, examining how response-function shapes change whether speed or split matters.
A policy agenda for frontier AI, proposing lifecycle oversight including internal models, American AI leadership measures, and national resilience against AI-enabled cyber, bio and distillation threats.
MIRI shares reading lists and research advice for newcomers to technical AI governance, drawn from its 2026 fellowship, to help researchers enter the field.
Proposes a feasibility taxonomy of twenty inference-time governance mechanisms, rated for readiness and stress-tested against adversary models and governance scenarios, finding no mechanism adequate against high-capability state-level deployers.
Proposes a rapid crisis playbook for pacing frontier AI before recursive self-improvement, covering an interim US-China deal, a voluntary company charter, verification with existing tools, and prep work.
Proposes near-term verification mechanisms for AI chip export controls, covering chip location, end-user legitimacy and prohibited end-use, implementable within the US BIS framework using private-sector auditors.
Proposes designing an enforceable AI pause around a breakout-time threshold, arguing it should be set where rogue actors would need years to reach dangerous capabilities, with adaptive adjustment and supply-chain controls.
Proposes a shared, public-cluster observatory of GPU telemetry and other physical signals to verify AI training runs, as a first measurement layer for frontier AI governance.
Shows an external power-draw side channel can identify AI training versus inference on an H200 GPU for compute governance, and a hardened detector still catches most evasion attempts.
Analyses US federal statutes and executive powers that let the president unilaterally influence or control frontier AI companies, and the limits imposed by Congress and courts.
Proposes concrete domestic US policies to pace frontier AI development, including compute allocation minimums for safety research, caps on AI R&D use, and safety-case-based existential risk thresholds enforced by third-party assessors.
Proposes a network-based verification design, traffic shaping plus randomized routing, that estimates it would make covert frontier training runs economically infeasible and so support treaty compliance.
Lays out five counterintuitive takeaways from the Plan A AI slowdown proposal, covering safety effort versus slowdown time, transparency, compute arms control, deal-breakdown risk, and the security-transparency tradeoff.
Argues that an international AI slowdown can be verified with human inspectors given whole-lab access to frontier labs, and that the technical verification barrier is not a reason to delay it.
Analyses technical mechanisms for verifying that datacenter compute is used only for inference, such as interconnect limits, memory wipes, replay, and zero-knowledge proofs, to slow unmonitored frontier training.
Proposes a taxonomy for verifying and enforcing international AI pauses via compute monitoring, estimating that pauses are enforceable for training runs above roughly 10k H100-equivalents absent concealment.
A commentary on the AI-2040 'Plan A' scenario, a proposed international treaty to slow AI progress, assessing its governance, enforcement, and alignment assumptions, including reliance on AI lie detection.
Proposes and tests a side-channel method that estimates LLM training FLOPs from Jetson GPU power and memory readings, to help verify compute thresholds in AI treaties, reaching about 4.5% mean error.
An essay arguing that AI power and control should be decentralized rather than concentrated in a few firms, governments, or the AI itself, and that democratic checks must be built into how AI is deployed.
Proposes closing a gap in US export controls so advanced AI chips rented through cloud services remain covered, and recommends broadening the Senate bill's definition of cloud infrastructure.
Summarises AI 2040: Plan A, an international AI-race slowdown treaty with compute verification and transparency that still funds alignment research, and lists its failure modes.
Brainstorms governance options for advanced AI development, including chip-level monitoring, joint projects, deterrence, capability red lines, and liability regimes, and how they could combine into a stronger strategy than Plan A.
A research agenda from the AI Futures Project listing open questions on Plan A for navigating the intelligence explosion, covering alternative scenarios, covert projects, US domestic governance, verification, economics and geopolitics.
Critiques the AI Futures Project's Plan A pause-and-compute strategy, arguing that accumulated compute and software overhang (dry tinder) could make a deal breakdown far more dangerous, and that mutually assured compute destruction is fragile.
A quantitative model of how destroying US and Chinese AI compute would delay superintelligence development, finding strikes cause only 1-5 year delays that nationalisation can offset, undermining kinetic deterrence.