They use Lucas-Lehmer's[0] which is specifically for Mersenne primes[1] https://www.mersenne.org/various/math.php#lucas-lehmer https://www.mersenne.org/various

They use Lucas-Lehmer's[0] which is specifically for Mersenne primes[1] https://www.mersenne.org/various/math.php#lucas-lehmer https://www.mersenne.org/various/math.php#lucas-lehmer https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality_test https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality...