Marcus Hutter is a rare exception who specified his AGI in such unambiguous mathematical terms that he actually succeeded at realizing, after some discussion with SIAI personnel, that AIXI would kill off its users and seize control of its reward button.
A couple of people have enquired with Hutter and he has denied saying this. So it appears a citation is needed.
AIXI is uncomputable—and so is impossible to construct. Hutter is well aware of this—so it seems doubtful that he would make such a dubious claim about its real-world behaviour.
A couple of people have enquired with Hutter and he has denied saying this. So it appears a citation is needed.
I’ll try to get the results in writing the next time we have a discussion. Human memory is a fragile thing under the best of circumstances.
[delete]
AIXI is uncomputable—and so is impossible to construct. Hutter is well aware of this—so it seems doubtful that he would make such a dubious claim about its real-world behaviour.