Mersenne prime
这个项目取得了很大的成功：截止到2018年12月，GIMPS共搜索到17个梅森素数。现在已知的最大的梅森素数是2018年12月21日发现的formula_1，共有 24,862,048位数。