Há um problema de demanda agregada num mundo de AGI?