avturchin comments on Asymptotically Unambitious AGI