Wow, they have a paper addressing this very subject. Unfortunately, I lost the thread of the argument halfway through. (But I'm not giving up. I am going to watch the Paul Christiano on Probabilistic Metamathematics video on Youtube. Any other aids to understanding will be greatly appreciated. I found quite a few myself, actually.) I did not know about the Open Thread either. Sorry about that. Will lurk more. I have no objection to this thread being used for general discussion.