Marcus Hutter - Gödel Machines and Self-Improvement (via searchlore.ai)