Will GPT-4 lead to AGI?