The thing about mathematics is that it can be arbitrarily hard, including impossible to prove a given theorem.

I don’t know the details of RH, it might very well be solved soon, but it could also be impossible or just so difficult that even orders of magnitude more intelligent AI can’t solve it even.

If it is impossible to prove, it might be possible to prove that it is impossible to prove, or that itself might be difficult or impossible…