Comment by NateEag

I wasn't trying to say that genAI won't beat humans. It arguably already has, much as that may fill me with horror and revulsion.

I'm just trying to point out that economically, we have not yet reached the point where AI mathematics research is a no-brainer hands-down win, no consideration required.

It might already be a win, and certainly the ability to compress those 900,000 hours of effort into an actual week of linear time is mind-boggling and potentially a huge game-changer for all kinds of open research questions.

It's not obvious that human math research is dead yet.

Maybe soon, but not yet.