“Don Knuth Plays with ChatGPT” but with ChatGPT-4