澳大利亚国立大学的Marcus Hutter在本书中介绍了一种通用人工智能（即强人工智能）理论的数学模型“AIXI”。虽然这一模型是图灵机无法计算的，但从中我们可以得到一些关于如何开发真正可以运行的通用人工智能算法的启发。