I definitely see what he is saying.

In my work as a graphics programmer I often find that I look at a problem and will immediately see how to solve it, more or less. But the devil is in the details and often nothing works unless you get every detail right. So you spend a lot of time coming up with complex solutions, then boiling them down to simpler versions. In the end you often end up with a fix which is short, simple, and seems obvious. But it gets a lot of subtle details just right and avoids countless potential issues you wouldn't know if you hadn't failed a lot getting there.

And that is actually how you learn and master the craft.

Now, imagine you describe how you sort of solve it to a machine and it spits out the simple, correct implementation and you nod approvingly, never knowing all the ways it could have gone wrong. If this is how mathematics - or programming - is done from now on, no one will actually master their craft. I definitely see why this would worry someone whose career is built on mastery of the craft and a legacy meant to teach the next generation.

Doesn't this seem to be where all domains are headed?

I get kinda freaked out when I feel like all the AI "utopianists" haven't taken the next logical step of thinking about what society looks like when humans are subpar in every domain (and you may argue this won't happen, though I'm becoming more and more a believer that it will, but my point is the utopianists believe that this absolutely will happen, and that it's also a wonderful thing). How motivated do you think folks will be to do the hard cognitive work to focus on things like math problems when there is a good chance AI will do it better?

One related problem I see is the pipeline for producing working mathematicians seems to have been completely and irreversibly decimated. What’s the point of doing a long and arduous PhD when all PhD level research problems that used to take months to years can be solved by far less talented people with $100/$1000/$10,000 to spare? How do you even select people into your program (this part is likely hypothetical, classical talent selection probably still works at the moment, but what about in a couple years)?

Disclosure: I did a theoretical physics PhD, but got admitted to quite a few top math programs back when I was applying to math and physics programs simultaneously. If you asked me whether I’d do a PhD today I’d say why bother.

Seems to be it, though Im not particularly concerned about this problem personally.

The fact that we all readily accept that modern AI systems can likely solve any math problem that no living genius can, tells me that no task is beyond this system we just need the right harness around it. The exhaustion of meaningful math problems to motivate mathematicians minds seems to be the least of my worries at that point.

Inb4 someone suggests that this is not proof that these AIs generalize, I agree thats a popular opinion, but both sides are merely that, with no possible way to prove. I will wallow in my existential dread while you do whatever it is that gives you comfort.

How is this any different from people in any field that are impacted by AI and lose the utility of their skills and endeavors over the past decades? Are we saying that we're running out of problems to solve because of AI and hence it should be stopped? I am not underestimating the importance of the collective knowledge of the mathematics community and the role of mathematics as the enablers of other sciences, but opposing meaningful progress in that discipline or any for that matter feels counter intuitive. I would rather have the mathematics community start collaborating closely with the this newly evolving and powerful tool to expedite humanity's progress.