I get that AGI has a formal definition, but if I take the words "Artificial General Intelligence" on their own, I would say they describe GPT4 perfectly. It can plan my holiday, write a cover letter, code up scripts, explain music theory to me, etc. It is artificial, clearly a form of intelligence, and has a general application.