Source · Tier C · Blog / article
Verification Plan
R. Dean. 2026. AI 2040.
| Link | https://ai-2040.com/supplements/verification-plan |
|---|---|
| Accessed | 2026-09-23 |
| Organization | 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
- R1Bandwidth limits and compartmentalization
- R2Deterministic and bit-exact inference
- R1Memory wiping and proofs of secure erasure
- R1Network taps and certifiers
- R1Reproducible computation packets
- R2Sampled inference recomputation
- R2Tamper evidence for verifier devices
- R1Timed 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