AI is nowhere near the intelligence of a very educated person that has innate talent for problem solving. It does solve the problem of applying human intelligence on problems that truly need it. AI is also a great tool to see if there's something simple that we've missed or just haven't even attempted due to wrong assumptions.
> if there's something simple that we've missed
That's exactly what current mathematicians are using AI for [1].
However, the same mathematicians also believe that pursuing a beautiful proof (even if none exists) is worth it.
[1] https://spectrum.ieee.org/ai-in-mathematics