Yeah, this post is groundwork for a better version of “AI cooperation in practice”. See here for more. The original version had a much more complicated proof of a similar theorem, following the steps of Löb’s original proof (aka Eliezer’s picture proof) instead of Kripke’s argument. I didn’t really understand Kripke’s argument back then.
Yeah, this post is groundwork for a better version of “AI cooperation in practice”. See here for more. The original version had a much more complicated proof of a similar theorem, following the steps of Löb’s original proof (aka Eliezer’s picture proof) instead of Kripke’s argument. I didn’t really understand Kripke’s argument back then.