Semua orang berbicara tentang perbaikan diri rekursif & Mesin Gödel sekarang & bagaimana ini akan mengarah pada AGI. Sungguh perubahan dari 15 tahun yang lalu! Kami mengadakan AGI'2010 di Lugano dan memimpin AGI'2011 di Google. Tulang punggung konferensi AGI adalah AI Universal yang optimal secara matematis: Mesin Gödel 2003 (AIXI dan @mhutter42 - lihat buku UAI 2005-nya dan pembaruan 2024 baru-baru ini (Saya bangga bahwa karya AIXI Marcus Hutter didanai oleh hibah SNF Swiss 2000 saya ketika dia menjadi postdoc di IDSIA.