In my view, all results should be expressible in the form: because the real world data exhibits empirical structure X, algorithm Y succeeds in describing/predicting it.
AIXI does exactly that—it is based on Occam’s razor.
AIXI does exactly that—it is based on Occam’s razor.