habryka comments on Asymptotically Unambitious AGI