> That means we will able to assume that nearly all the remaining conjectures are either true or undecidable

I mean, we could. But it doesn't really make sense to think that AIs are perfect at finding counterexamples, just because they are good (or even better than us). My general opinion is that they are orthagonally intelligent, that is, they are intelligent in an entirely different way to the way that people are. They are undoubtably clever, but the distance between when they are better than us at their best skill (or even most skills) and when they are better than us in all aspects is going to be MASSIVE.