Wei Dai comments on Asymptotically Unambitious AGI