The Compute Verification Post

Notes from our nights and weekends

The Compute Verification Post Notes from our nights and weekends Jason Hausenloy and Jasmine Li Jul 20, 2026 26 6 3 Share Summary: We start with a primer on compute verification: understanding what’s going on inside a datacenter and how we can prove it to someone else. This involves proving certain properties about compute, e.g. where it is, what it’s doing, and how much was used, under particular trust assumptions. We then argue: Inference-only verification is the highest-value near-term property and the highest-priority target for large-scale demo buildout, International verification will ne

saved by

• Tazik Sh
• Eliana Du
• Seth Lifland
• Linus Tang

related reading

• The Compute Verification Postsubstack.com
• You Need A Theory of Victory - by Jason Hausenloyfirstscattering.com
• Verification Planai-2040.com
• [2606.05433] Zero knowledge verification for frontier AI training is possiblearxiv.org
• How to pace the US frontierblog.aifutures.org
• Asymmetry of verification and verifier’s rule - Jason Weijasonwei.net
• A shallow dive into formal verificationvitalik.eth.limo
• We Should Think More Critically About Compute Verificationsudarsh.com
• [2004.07213] Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claimsarxiv.org
• Oversight Assistants: Turning Compute into Understandingbounded-regret.ghost.io
• Convictionconviction.com
• When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io