Another issue is that the input to the calculation has to be, at least in part, the transactions which you're verifying. That's not a problem if you're just looking for hashes, and I imagine they have a similar process when looking for primes, though I'm curious about exactly how they do it.