What work do you think mathematicians do normally?
Like they sit whole day and have ideas? And where are the ideas?
The way I see it, _some_ mathematicians enjoy solving puzzles, and now AI is better at solving puzzles.
This does not affect people building new theories.
Also, it's quite prestigious to write a _book_ on some topic. And guess what writing a book entails? Refining and expanding. What you call grunt work.
Actually, the problem is, somehow the skill of building new theories in math is directly tied to slaving hard over a problem. It's the very experience of slaving away that actually somehow causes ideas to form. Pretty much all mathematicians understand this. Yes, senior mathematicians now can form some new theories, but what about junior ones who will have very little experience in working hard on a problem by hand?
Of course, they could work on the problem by hand anyway, but they won't because no one will pay them when a machine can do it.
Let's start with the fact that mathematicians aren't paid for results. Institution which gives them salary fundamentally doesn't give a fuck about theorems. They might care about having top-grade mathematicians for prestige, or because they believe that countries which are "good at math" also do better in science, engineering, etc.
> somehow the skill of building new theories in math is directly tied to slaving hard over a problem
We don't know if that's the only way. Perhaps collaboration with AI is just as good. Why reject it before it has been tried?
> what about junior ones
Junior guy with brilliant new ideas might benefit the most from AI as it can compensate for lacking technical chops and breadth of knowledge.
OTOH a marginal value of a single paper in a paper dump is basically zero. Nobody gives a flying fuck if they made 100 or 200 papers. It won't give them even a single customer. If they released, say, 5 paper per month it would generate a buzz but not as much backlash from mathematicians.