GIMPS使用的是什么大整数乘法？

nyy

2^136279841 - 1 是目前已知的最大素数， 它有 41024320 位数字，
在电脑上，判定一个上万位的大整数是否是素数，尚且费劲，
而况乎四千多万位。

所以我想知道他们的算法。