johnswentworth comments on Asymptotically Unambitious AGI