Hacker News Reader

It might be that the Riemann Hypothesis will be the first of Math's "Hard Problems" that will be solved by AI before humans...

It might. However, since there's no record of AI solving big, open conjectures such as the Riemann Hypothesis, I find this quite unlikely.

Well, you don't know how many years humans will need in order to solve it ;-).