布式计算软件。这个项目取得了很大的成功：截止到2018年12月，GIMPS共搜索到17个梅森素数。现在已知的最大的梅森素数是2018年12月21日发现的formula_1，共有 24,862,048位数。从许可证条约上讲，GIMPS 软件并不是自由软件，它仅仅是开放源代码软件，因为它有着自由软件所无法接受的限制－使用者必须接收软件分发条款。
搜索到的梅森质数.注：现在还不知道在第47个梅森素数（"M"）和第51个（"M"）之间是否还存在未知梅森素数，所以在其序号之后用标出。