Zac Hatfield-Dodds comments on Discussion with Eliezer Yudkowsky on AGI interventions

[Zac Hatfield-Dodds]

Sure, just remember that an experimental demonstration isn’t enough—“Your proof must not include executing the model, nor equivalent computations”.