Even then, though, the issue is mainly of the claims not clearly being true rather than clearly being false, and the claim about G??del machine and AIXI is just one of several pieces of support for the more important claim that there???s a significant chance of human-level AI coming this century (which would be a big deal, as I argued in my last post).I know for a fact that Luke (and probably Anna