We Should Think More Critically About Compute Verification | Sudarsh Kunnavakkam

Figuring out how to verify compute on short AI timelines

Compute verification might be a very significant part of coordination with respect to intelligent AI systems. In short timelines (<2030), the kind espoused by a frontier lab leader, I’m suspicious of die-level verification hardware being tractable. If this is the case, we should then focus on auxilary verification methods, such as post-hoc modifications to chips or robust software verification methods. In any case, we should act now if we want this to happen. I’m going to be treating Nvidia as the only GPU manufacturer for the sake of simplicity, but at least in my conversations with…

saved by

• Jason Hausenloy
• Arunim Agarwal

related reading

• The Compute Verification Postfirstscattering.com
• The AI Chip Supply Chain — A Primerjoshuamuthu.substack.com
• The Compute Verification Postsubstack.com
• AI Chip Architecturesjacobpeake.com
• A shallow dive into formal verificationvitalik.eth.limo
• [2606.05433] Zero knowledge verification for frontier AI training is possiblearxiv.org
• The Short Case for Nvidia Stock | YouTube Transcript Optimizeryoutubetranscriptoptimizer.com
• The Best GPUs for Deep Learning in 2023 — An In-depth Analysistimdettmers.com
• Verification Planai-2040.com
• AI Chip Architecturesjepeake.com
• When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
• Dylan Patel — Deep dive on the 3 big bottlenecks to scaling AI computedwarkesh.com