You underestimate the difficulty of RH, there are far easier problems broadly related to RH (density hypothesis, Artin's holomorphy conjecture, Stark conjectures) which are still aren't solved.
I think verifiable tasks like math will soon be like Chess. Machines way beyond human intelligence.
I think verifiable tasks like math will soon be like Chess. Machines way beyond human intelligence.