schemes for approximating Solomonoff or AIXI look like at least exponential brute force search.
Well, yeah. Again - why would you expect anything else? Given that there exist problems which require that or worse for solution? How can a universal problem solver do any better?
Since AIXI is, by construction, the best possible intelligent agent, all work on AGI can, in a rather useless sense, be described as an approximation to AIXI.
Yes.
To the extent that such an attempt works (i.e. gets substantially further than past attempts at AGI), it will be because of new ideas not discovered by brute force search, not because it approximates AIXI.
No. Given how strange and different AIXI works, it can easily stimulate new ideas.
43 years is a poor sort of immortality.
It's more than I had before.
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.
Here's the new thread for posting quotes, with the usual rules: