I would have understood this post better if it had a short introduction to tell me what AIXI-tl is, and why I care about it. As it is, the thing I learned is that there exists a formalism of learning that don’t work in some contexts—which doesn’t surprise me.
I don’t mean this to be dismissive—It sounds like there is an interesting point in there somewhere, but right now, readers who aren’t experts in learning theory probably can’t get it.
I would have understood this post better if it had a short introduction to tell me what AIXI-tl is, and why I care about it. As it is, the thing I learned is that there exists a formalism of learning that don’t work in some contexts—which doesn’t surprise me.
I don’t mean this to be dismissive—It sounds like there is an interesting point in there somewhere, but right now, readers who aren’t experts in learning theory probably can’t get it.
AIXI and AIXI-tl on the Less Wrong wiki.