Everybody talks about recursive self-improvement & Gödel Machines now & how this will lead to AGI. What a change from 15 years ago! We had AGI'2010 in Lugano & chaired AGI'2011 at Google. The backbone of the AGI conferences was mathematically optimal Universal AI: the 2003 Gödel Machine ( and @mhutter42’s AIXI - see his 2005 UAI book and its recent 2024 update ( I'm proud that Marcus Hutter’s AIXI work was funded by my 2000 Swiss SNF grant when he was a postdoc at IDSIA.