Maybe the AGI will come with the equivalent of a "Turing Machine" enabling some kind of computability.