> This keeps being repeated by AI skeptics, yet AI keeps solving more and more complex tasks. We've reached the point that it's even started solving Millennium problems.

Yes, so? Still not "novel ideas and insights", which is what you responded to ... and the statement wasn't made by an AI skeptic.

> This is the future of pushing the frontier though. AIs need to be pushed to get better and better.

It would be far more honest to say "I want AIs to get better and better". But there are costs. What are you willing to accept?

> AI understanding of math is millions times more important than human's.

Ah, it seems that "replace humans with AIs" is not too much for you.

To whom is that more important? Not mathematicians.