Hasn't ChatGPT solved string theory yet?