wizzwizz4 comments on Can an agent use interactive proofs to check the alignment of succesors?

[wizzwizz4]

I can confirm that that’s an expression in English.