> “$50k/year in AWS costs would equal current GIMPS search throughput”

I think you may be wrong by at least 3 orders of magnitude.