AnthonyC comments on What’s a better term now that “AGI” is too vague?