In case anyone doubts there has been major progress in AI since GPT-4 launched