[thfuran]

>it makes sense to quickly test the first few hundred million primes to make sure there aren't any obvious counter-examples

It's kind of absurd the sorts of endeavors which computers have rendered not only possible, but relatively trivial.