Strong disagree.
Do you work in a math adjacent field? I do and I find having a mathematician around invaluable.
It's like a non-software person writing software. Yes, using a LLM will get you to a solution that works. But just talking with a software engineer will make the quality of that solution enormously better.
I find the same with math - I can get something to work using an LLM, but if I speak to a mathematician they'll say some magic words to try and I put that in the LLM and it is "oh yes this is a much better solution".
This is very different work to generating proofs though. Its things like "I'm trying to get my confidence intervals to properly deal with census like sampling but at small sample sizes" (yes, I know stats not pure math but still..)
You may say "hey, before AI people payed for math salaries even though they didnt understand the math or the economic outcome". But the issue is there are now "mathematitians" trying to convince not to fund.
In this new reality, you will get "mathematitians" trying to convince that only AI maths matter. And on the other side someone speaking about "understanding", "taste", "community". And the people deciding to fund dont have the skills to differentiate. So they will fund the AI boosters with a higher probability.
Thats how the job of professional mathematitian dissapears. By being replaced by something that on the surface looks similar, but its just an ugly copy.
The job of professional mathematician might be the first to be completely eliminated by LLMs, save for those who can make money from a patron. I am hoping they are able to figure something out to save their profession, as other professions could use it as a blueprint as AI comes for them next.