That’s an interesting way of putting it, though it really has more to do with Solomonoff induction than AIXI, and isn’t really related to AIXI-tl which uses proof search.
Yes. Sorry wrong words. I was more meaning Solomonov induction here.
That’s an interesting way of putting it, though it really has more to do with Solomonoff induction than AIXI, and isn’t really related to AIXI-tl which uses proof search.
Yes. Sorry wrong words. I was more meaning Solomonov induction here.