I'm not a mathematician, so I may be talking nonsense. Would it not be equally possible that AI solutions to these problems have, or start revealing new maths, or new techniques. I doubt that is the case for these type of problems, but it may well be in the future. And maybe these techniques are seen by the right people, who have the correct intuition of how they may be a bridge in other problems.

Or another angle. Given that, from my amateur understanding, a lot of these problems are proof by counter-example, could you not argue that at least AI eliminates low hanging fruit and more important problems can gain focus.

Of course, I could equally argue that the low hanging fruit is needed to train up mathematicians.

So yeah, in the end, I don't know. But am pretty certain that AI is not going to be limited by these sort of proofs for much longer.