Current largest prime: 2^57885161-1 So take random prime numbers larger than 57885161 (such as 57885167), and find a script that can calculate with numbers tha

Current largest prime: 2^57885161-1 So take random prime numbers larger than 57885161 (such as 57885167), and find a script that can calculate with numbers that high using EC2s server constraints, then see if 2^(large_prime_numb)-1 is prime. Is that the correct method of doing this? https://www.eff.org/awards/coop/primeclaim-43112609 https://www.eff.org/awards/coop/primeclaim-43112609 What are the stats on testing large prime numbers on EC2 instances?