No. Given how strange and different AIXI works, it can easily stimulate new ideas.
The spin-off argument. Here's a huge compendium of spinoffs of previous approaches to AGI. All very useful, but not AGI. I'm not expecting better from AIXI.
Hm, so let's see; you started off mocking the impossibility and infeasibility of AIXI and any computable version:
I am not persuaded that the harder Bayesians have any more concrete answer. Solmonoff induction is uncomputable and seems to unnaturally favour short hypotheses involving Busy-Beaver-sized numbers. And any computable approximation to it looks to me like brute-forcing an NP-hard problem.
Then you admitted that actually every working solution can be seen as a form of SI/AIXI:
...There might well be a theorem formalising that statement. There migh
Here's the new thread for posting quotes, with the usual rules: