Marcus Hutter - Introducing Marcus Hutter and the Hutter Prize (via searchlore.ai)