Tutti parlano di auto-miglioramento ricorsivo e di macchine di Gödel ora e di come questo porterà all'AGI. Che cambiamento rispetto a 15 anni fa! Abbiamo avuto l'AGI'2010 a Lugano e abbiamo presieduto l'AGI'2011 a Google. La spina dorsale delle conferenze AGI era l'IA universale matematicamente ottimale: la Macchina di Gödel del 2003 ( e l'AIXI di @mhutter42 - vedi il suo libro UAI del 2005 e il suo recente aggiornamento del 2024 ( Sono orgoglioso che il lavoro AIXI di Marcus Hutter sia stato finanziato dalla mia borsa di studio SNF svizzera del 2000 quando era un postdoc all'IDSIA.