If you take that away and turn math into a less fulfilling pursuit where you mostly try to make sense of the output of an LLM, and it's "Astra's theorem #18398" and not "John Doe's last theorem", I'd wager that far fewer people will have any interest in the field.
This is really not unique to math, by the way. AI is undermining a lot of creative work. Why blog when you have much better odds of making it to the top of HN with autogenerated blog-slop? Why write books when many nonfiction categories on Amazon are now dominated by AI? The list goes on.
There's plenty of people on HN who think it's nothing new, ignoring the huge change in scale. And those who think this is good because there's no inherent value to human creativity if we can get the same content faster and for less. I disagree.