ck. Given enough computing power, a very brief and simple program can achieve any computable goal in any computable environ- ment, quite effectively. Marcus Hutter’s AT XI" design [Hut05] gives one way of doing this, backed up by rigorous mathematics. Put informally, what this means is: the problem of AGI is reall