大的素数就是这个项目发现的。由于梅森数比随机选择的整数更有可能是素数，因此他们认为这是一个极有用的方法。
方法.卢卡斯－莱默检验法原理是这样：<br>令梅森数"M" = 2− 1作为检验对象（预设"p"是素数，否则"M"就是合数了）。<br>定义序列{"s" }：所有的"i" ≥ 0 这个序列的开始几项是4, 14, 194, 37634, ... <br>那么"M"是素数当且仅当<br>否则, "M"是合数。<br>"s"模"M"的余数叫做"p"的卢卡斯－莱