\(\text{AIXI}^{tl}\) is a ver­sion of the ideal agent AIXI which only con­sid­ers hy­pothe­ses of length \(l\) that run for less than time \(t\). A \(tl\)-bounded ver­sion of AIXI there­fore only re­quires an un­phys­i­cally large finite com­puter rather than an in­finite hy­per­com­puter.


  • AIXI

    How to build an (evil) su­per­in­tel­li­gent AI us­ing un­limited com­put­ing power and one page of Python code.