As far as I can tell, Arxiv does not allow an AI to be listed as the author, so publishing there would not have been an option.
replyhttps://blog.arxiv.org/2023/01/31/arxiv-announces-new-policy...
The current consensus in mathematical publishing is that LLMs are tools, so they don't get listed among the authors. But nothing would have prevented them from posting these preprints on Arxiv, with the human prompters as authors and the LLM's contribution acknowledged in the text.
replyI've cited letters from Serre to Tate in my dissertation: this is the source for what's known as Faltings-Serre.
reply