>Would we regard that as a major achievement of the mathematician? I don’t think we would

For some reason this reminds me of AI images and a domain like comedy.

If an image makes people laugh, the person who prompted it to make the image certainly doesn't get credit for the vast majority of the work in its creation, but perhaps they do get credit for the initial prompt idea and then the "taste" to select that particular one from whatever drafts they went through or otherwise guiding it.

So if a mathematician comes up with an amazing result that an LLM "did", I think they could still get a bit of credit for prompting it to do it and being its guide.

But whereas the first person could perhaps be called a comedian and not an artist, would the mathematician still be called a mathematician or something else?