AI Futures Project

The AI Futures Project describes itself as "a small research group forecasting the future of AI, funded by charitable donations and grants" S-3608. Its AI 2040 scenario has supplements on verification:

• Dean's verification plan would convert data centres into isolated inference units, copy their traffic with network taps, recompute random samples and wipe memory periodically, so that only verified inference outputs persist S-0067. See AI 2040 inference-only verification stack, Bandwidth limits and compartmentalization, Network taps and certifiers, Sampled inference recomputation and Memory wiping and proofs of secure erasure.
• A companion "Get involved" page tracks the status and open problems of each component, and lists organizations working on verification S-1511.
• Halstead and Larsen discuss how a covert AI project might be hidden and detected, treating waste heat as the main constraint on hiding a facility S-1410; see Remote detection of data centres. They propose auditing the semiconductor supply chain upstream to reconstruct past chip production S-1410; see Chip registries and manufacturing records.