michaelcohen comments on Asymptotically Unambitious AGI