Source · Tier C · Blog / articleSource · Verification Plan
Verification Plan
R. Dean. 2026. AI 2040.
| Original | https://ai-2040.com/supplements/verification-plan |
|---|---|
| Version | Public primary page checked on 21 October 2026 at its Romeo Dean byline, Summary, Concrete inference-only retrofitting proposal and verification overview for the overall coverage credit. The full plan was not re-reviewed. No policy endorsement is implied. |
| Accessed | 2026-10-21 |
| 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
- Pause frontier AI developmentGoal
- Bandwidth limits and compartmentalizationMechanism
- Deterministic and bit-exact inferenceMechanism
- Memory wiping and proofs of secure erasureMechanism
- Network taps and certifiersMechanism
- Whole-workload recomputation (reproducible packets)Mechanism
- Sampled inference recomputationMechanism
- Tamper evidence for verifier devicesMechanism
- Timed challenge-response and memory-occupation challengesMechanism
- AI 2040 inference-only verification stackImplementation
- Communication between compute groups is boundedClaim
- Declared hardware is idle or shut downClaim
- This compute runs inference, not trainingClaim
- Sampling and assuranceConcept
- Tamper evidence and tamper resistanceConcept
- AI Futures ProjectOrganization