Separate “let’s develop a theory of quarantines” from “let’s implement some quarantines.”
It’s just too difficult, you are bound to miss something.
Christiano should take it as a compliment that his idea is formal enough that one could imagine proving that it doesn’t work. Other than that, I don’t see why your remark should go for “quarantining an AI using cryptography” and not “creating a friendly AI.”
The winning move is not to play.
Prove it. Prove it by developing a theory of quarantines.
Separate “let’s develop a theory of quarantines” from “let’s implement some quarantines.”
Christiano should take it as a compliment that his idea is formal enough that one could imagine proving that it doesn’t work. Other than that, I don’t see why your remark should go for “quarantining an AI using cryptography” and not “creating a friendly AI.”
Prove it. Prove it by developing a theory of quarantines.
I agree.