Todo mundo fala sobre auto-aperfeiçoamento recursivo e Máquinas de Gödel agora e como isso levará à AGI. Que mudança em relação a 15 anos atrás! Tivemos o AGI'2010 em Lugano e presidimos o AGI'2011 no Google. A espinha dorsal das conferências da AGI foi a IA Universal matematicamente ótima: a Máquina Gödel de 2003 (e o AIXI de @mhutter42 - veja seu livro UAI de 2005 e sua recente atualização de 2024 (Estou orgulhoso de que o trabalho AIXI de Marcus Hutter tenha sido financiado por minha bolsa SNF suíça de 2000 quando ele era um pós-doutorado na IDSIA.