You'd be ecstatic until you realise "oh damn, how will I get enough money to eat?"
Sure, there are probably some mathematicians that are sad that robots can do all the proofs and such for them, but it seems to me that most of them probably would be happy with the robots helping to solve problems if not for the little issues that mathematics is their profession and in the current state of things, they need to eat and have a place to live.
And that is the actual problem. Let's just remember, the Luddites were not anti-technology, they were against the technology being owned by a small elite that could use it to take away their livelihoods. They were against the capitalists essentially throwing them into the ditch to starve, and we're seeing echoes of that in the current AI discussion and the reactions of mathematicians, programmers, artists, etc. Back in the 1800s it was physical and artisan manufacturing labour in danger, and now it's mental labour.
Sure, there are probably some mathematicians that are sad that robots can do all the proofs and such for them, but it seems to me that most of them probably would be happy with the robots helping to solve problems if not for the little issues that mathematics is their profession and in the current state of things, they need to eat and have a place to live.
And that is the actual problem. Let's just remember, the Luddites were not anti-technology, they were against the technology being owned by a small elite that could use it to take away their livelihoods. They were against the capitalists essentially throwing them into the ditch to starve, and we're seeing echoes of that in the current AI discussion and the reactions of mathematicians, programmers, artists, etc. Back in the 1800s it was physical and artisan manufacturing labour in danger, and now it's mental labour.