I think Max made some great points and made me somewhat more optimistic about corrigibility. I still think it is a difficult problem to formalize but it has many nice properties if you can get it.
I think Max made some great points and made me somewhat more optimistic about corrigibility. I still think it is a difficult problem to formalize but it has many nice properties if you can get it.