Compute Verification on Short 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 t...