因特网梅森素数大搜索（GIMPS）是由美国程序设计师乔治·沃特曼于1995年发起的国际合作项目，通过Prime95/MPrime软件和PrimeNet服务器系统整合全球志愿者计算机的闲置算力。

梅森素数是以法国数学家马丁·梅森命名的特殊素数形式（2^p-1），其搜索需要庞大计算资源。1995年沃特曼开发Prime95计算程序，次年建立GIMPS项目，斯科特·库尔沃斯基开发PrimeNet服务器实现任务分配与结果验证。截至2008年，项目累计运算量超350万亿次/秒。

项目采用三层架构：

关键算法优化包括：

志愿者注册后可选择：

项目设置双重验证机制：

项目运行至今的重要里程碑包括：

所有发现均需满足：

项目成果推动多个领域发展：

中国学者贡献包括：

当前搜索重点为：

项目计划将算力提升至ExaFLOP级别，力争在2030年前发现超过1亿位的梅森素数。