Why are we trying to automate mathematics using AI?
I recently graduated uni with a bachelor's in math and during my studies I've noticed how AI in math has gone from a curiosity to a looming paradigm shift that might destabilize everything. I myself have tried to steer clear of using AI while studying in fear of getting too sloppy but I feel that sooner or later it'll be standard to leave all the theorem proving to the machines and just prompt together an article (if humans are still involved). That the point of creating such AI is to cut out a majority of mathematicians except a few established ones who will be in charge of guiding the development of new math. This is at least the impression I get from the media of AI gurus talking about solving Erdös problems ect. I understand that this is to just hype up AI for investors but currently there is no active alternative for up-and-coming mathematicians other than to hop on the bandwagon or remain ignorant. This just leaves me the question of what is the end goal of this automation of math and what does that mean for the rest of us. I'd love to hear your thoughts on this.