Source · Tier C · Blog / articleSource · Verification Plan
Verification Plan
R. Dean. 2026. AI 2040.
| Original | https://ai-2040.com/supplements/verification-plan |
|---|---|
| Accessed | 2026-09-25 |
| Authored or published by | AI Futures Project |
| Imported from | hodgkins-ai-verification-papers@c71e59ff0e8e |
| Note | Listed under "Motivations and policy proposals" in the Hodgkins bibliography (CC BY 4.0). |
Cited by
- R2Bandwidth limits and compartmentalization
- R3Deterministic and bit-exact inference
- R1Memory wiping and proofs of secure erasure
- R1Network taps and certifiers
- R1Whole-workload recomputation (reproducible packets)
- R3Sampled inference recomputation
- R2Tamper evidence for verifier devices
- R2Timed challenge-response and memory-occupation challenges
- R1AI 2040 inference-only verification stack
- Communication between compute groups is bounded
- Declared hardware is idle or shut down
- This compute runs inference, not training
- Sampling and assurance
- Tamper evidence and tamper resistance
- AI Futures Project