ChatGPT-4 is smarter than we think