Marcus Hutter - Optimality and Computation in AI (via searchlore.ai)