Are they the authors of the “informal note” or not?
replyI’ve never seen a math paper of any formality written without the authors’ names on it before.
deleted
replyAnthropic seems to be challenging the traditional way math gets published. As far as I understand, these results did not get submitted to journals, and did not get Arxiv preprints; they are released only as self-hosted pdfs, and we don't even know the names of their authors.
replyThe canonical reference for the counterexample to the Jacobian conjecture is a tweet with no puntuations nor capitals.
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