Hi, corresponding author here :) Yes, we tested ChatGPT on a number of skills we consider to be essential for professional mathematics: ChatGPT it's not just bad at computing (say, integrals), it's also bad a proving things. *But* it