Former pro mathematician here. There's a big divide amongst mathematicians right now. Some like the idea of going full steam ahead with ideas like this, and others are dead-set against it. There's even "The Association for Human Mathematics" [1] which believes in human mathematics and not using AI at all.
The central problem is that the majority of people go into math because they love discovering mathematics and want to participate in the process. That itself is a huge part of the reward. That creates the community. Simply have huge numbers of people outputting math as if it were an industrial factory kills the joy in the process and so in itself destroys the community.
So in short we're seeing a dichotomy between the "problem miners" who are simply hooked on producing results and mining them and "explorers" for lack of a better term.
There's one thing you've got to keep in mind - mathematics, in reality, is mostly useless in the sense that most discoveries these days will always be useless. What is useful generally is teaching, and applying mathematical abstraction to more realistic problems, a skill that you mainly get from dicovering generally useless stuff. (Math for art's sake.) That's how math works, or at least worked before AI. Once you put AI in the mix, it messes up all the incentives....
Personally, I'm 100% anti-AI because I think there's not much point in simply discovering new things if it's not primarily a human journey. It's revolting to have solutions generated by machines like that.
1. https://www.ahmath.org/
The central problem is that the majority of people go into math because they love discovering mathematics and want to participate in the process. That itself is a huge part of the reward. That creates the community. Simply have huge numbers of people outputting math as if it were an industrial factory kills the joy in the process and so in itself destroys the community.
So in short we're seeing a dichotomy between the "problem miners" who are simply hooked on producing results and mining them and "explorers" for lack of a better term.
There's one thing you've got to keep in mind - mathematics, in reality, is mostly useless in the sense that most discoveries these days will always be useless. What is useful generally is teaching, and applying mathematical abstraction to more realistic problems, a skill that you mainly get from dicovering generally useless stuff. (Math for art's sake.) That's how math works, or at least worked before AI. Once you put AI in the mix, it messes up all the incentives....
Personally, I'm 100% anti-AI because I think there's not much point in simply discovering new things if it's not primarily a human journey. It's revolting to have solutions generated by machines like that.
1. https://www.ahmath.org/