[fulvioterzapi]

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

[orena]

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