It being able to do AI is generally accepted as uncontroversial here. We don't know what would be the shortest way to encode a very good approximation to relativity either - could be straightforward, could be through a singleton intelligence that somehow arises in a more convenient universe and then proceeds to build very good approximations to more elegant universes (given some hint it discovers). I'm an atheist too, it's just that given sufficiently bad choice of the way you represent theories, the shortest hypothesis can involve arbitrarily crazy things... (read more)