In 2000, @wtgowers wrote (as part of an anthology entitled "Visions in Mathematics") of what a hypothetical conversation between a mathematician and an AI assistant might look like "in two or three decades' time". I found it interesting to compare this with the output when I asked #gpt4 in 2023 to simulate a similar conversation.