[jamespropp]

Thanks for catching this! What was in my mind when I wrote the first of those two sentences was the entirety of my past experience using ChatGPT as a research tool, and all the times it made mistakes. (For a funny example, see my January 17, 2023 essay “Denominators and Doppelgängers” in which I describe ChatGPT's proof that .999... is less than 1.) But you're 100% right that the version of my essay that I posted last week didn't make this clear; I'll update it appropriately. I'll also add a brief description of ChatGPT's bibliographic blunder.