I'm having some difficulty finding it, but Terry Tao had a nice exposition in one of his posts, I believe the crux was computing/bounding traces of powers and then being able to conclude the result. My work is almost purely on the analytic side (hence perhaps the RH skepticism), so I don't know the right reference off-hand.