Mechanism · Whole-workload recomputation (reproducible packets)
Sources
On this page
- CR. Dean (2026). Verification Plan. AI 2040. Source recordSupports: packet design, hierarchy of workload steps, recomputation budget example, assumptions and stated gaps · 2027: Concrete inference-only retrofitting proposal; Feb 2029; Early 2030: Workload Approval, Workload Verification (2034 chart)
- CAmodo Design (2026). Example Schemes for Verifying High-Stakes AI Agreements. Amodo Design. Source recordSupports: step-level recomputation design for pre-training; shadow replica instead of per-step checkpoint writes; commitments before audit selection; tolerance comparison; audit rate; correctness vs completeness · pre-training scheme; introduction
- CAmodo Design (2026). Scaling Recomputation Inference Verification. Amodo Design. Source recordSupports: single-request inference recomputation prototype · whole note
- CAmodo Design (2026). AI 2040 Plan A — Verification SITREP. Amodo Design. Source recordSupports: status of reproducible inference stack and network reproducibility · status items
- CAI Futures Project (2026). Get Involved in Verification. AI 2040. Source recordSupports: plan authors' status of a reproducible inference stack and network reproducibility, July 2026 · reproducible packets
- AC. Fang et al. (2023). Proof-of-Learning is Currently More Broken Than You Think. 8th IEEE European Symposium on Security and Privacy (EuroS&P 2023). Source recordSupports: proof-of-learning verifiers reproduce a subset of updates within a noise threshold; spoofs exploit the noise tolerance · §4.1; §4.2; §6.1