"an AI performing Bayesian inference over a hypothesis class of all potential environment-generating computer programs, with a Kolmogorov complexity prior, -- is wildly uncomputable, so to make it practical we'd need to find simple, computable approximations that work on real problems"
That's not what AGI is trying to do or how they are trying to do it.
That's not what AGI is trying to do or how they are trying to do it.