That's not the conclusion. I started using AI after the Jacobian conjecture counterexample and have used a particular problem to learn how to use AI and to explore it's capabilities. I'm not a great mathematician but I'm full faculty with 25+ years of research experience and lots of articles and I just proved in a few weeks something that had resisted my efforts for some years.

The exploration process is much easier now. Ideas are quickly testable and multiple tests can help identify a technical obstruction. The tool requires good guidance and input but as it trains on people like me it will need those less.

At the very least our way of doing things must change. More pessimistic views seem to me defensible.