> Levent Alpöge and Ralph Furman, two of Anthropic’s own mathematicians, examined Claude’s work to understand the new results and how they related to the prior work mentioned above.

▲

briansmith 15 hours ago | parent [-]

Are they the authors of the “informal note” or not?

I’ve never seen a math paper of any formality written without the authors’ names on it before.

▲

fph 13 hours ago | parent | next [-]

Anthropic 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.

The canonical reference for the counterexample to the Jacobian conjecture is a tweet with no puntuations nor capitals.

▲

jsnell 12 hours ago | parent | next [-]

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.

https://blog.arxiv.org/2023/01/31/arxiv-announces-new-policy...

	▲	fph an hour ago \| parent [-]
		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.

▲

wbl 13 hours ago | parent | prev [-]

I've cited letters from Serre to Tate in my dissertation: this is the source for what's known as Faltings-Serre.

▲

14 hours ago | parent | prev [-]

[deleted]