I mean an AI that follows Eliezer's general outlines of one; that is, an AI which can extrapolate maximally from a given set of evidence.

By the way, I find it hard to imagine a culture of superhuman AIs in which theism is common. I'd be interested to talk a little more about how that would work--in particular, what evidence each AI would accept from other AIs that would convince them to be a theist.