Christopher King comments on Asymptotically Unambitious AGI