当前已知的最大的梅森素数是 225964951 - 1(这个梅森素数是在2005年2月18日被发现的,有 7816230 位).它是第42个被发现的梅森素数并且是目前已知的最大素数.您能够帮助互联网梅森素数大搜索活动(GIMPS)寻找并发现下一个梅森素数.
用于 Windows 平台下的 23.8 版客户端已经于2004年2月17日发布,可用于 Linux 和 FreeBSD 平台下的 23.5 版客户端已经于2003年7月3日发布.新的版本还在陆续得推出,请通过版本列表查看并下载最新版本的客户端程序.
欢迎您加入到项目论坛里与全世界的数学爱好者们展开交流.
GIMPS 还拥有一个子项目:ECM and P-1 Factoring.该项目试图通过使用 P - 1 方法或者椭圆曲线法(ECM)来分解符合 2N - 1 和 2N + 1 形式的数的素因子.2004年9月13日,该项目发现了 M971 的一个有53位数的素数因子,M971 是当时尚未发现素数因子的最小的梅森素数.
查看项目进度.
您可以提交新的素数到the Top 5000 Primes list. Proth 程序的 7.1 版本已经于2005年2月11日发布.
欲参加该项目,需要先下载客户端程序(目前已有可用于 Windows,Linux,Solaris 及其他类 Unix 平台下的各类版本),然后下载 Cunningham 输入列表(请参看项目网站),然后请运行客户端程序,然后您可以通过项目网站上的链接报告您所发现的素数因子.项目使用 ECMNet 的客户/服务程序,目前可用的版本是2005年6月14日发布的 2.6.3 版.
用 Euler2000 寻找 Minimal Equal Sums of Like Powers(等幂和数),程序可以从下载页面获得.客户端将自动下载一系列数据进行运算.
2003年2月6日,一位项目成员在 60000 以上发现了最大的 (625) 结果.
该版本更好的解决了保存工作序列的问题,并自动指向新域名 eulernet.org .在服务器端允许客户端同时连接.注:4.21b 版存在一个 bug -  - 在尝试保存多于最大 100 列数据的时候将禁止客户端向服务器发起连接.请使用 4.21c 暂行版修补这个 bug.
注:至2002年10月15日,项目的旧 ISP 及域名 euler.myip.org 都将无法访问.请使用新域名 eulernet.org.
加入项目的论坛.查看项目进度.
在 MM61 project(MM61 项目)中寻找二重梅森数 MM61=2^(2^61-1)-1 的因子.下载并运行客户端测试程序,向项目协调器发送 email 以保存一系列已经测试过的数字.
欢迎您查看项目进度.
在 3x+1 Problem(3x+1 问题)中寻找 3x+1 class records(满足 3x+1 问题的数字记录).该项目试图寻找到更大的 3x+1class records.客户端能在任何 PC/Windows 平台下工作,加入项目请看这里.注:400MHz 的 CPU 运行客户端完成一个块(block)约需 6 周.
2002年11月19日,项目完成了第一个目标 -  -  20000 块的计算.在2002年12月项目又发现了一个新的 glide record.这是近一年来所找到的首个正整数.它出现于 180352746940718527 的计算中.新的正整数为 1575,较之以前的数提高了 104.2003年3月又找到了新的 Path record.前一个数是2002年末找到的.新的 Path record 出现于 212581558780141311 (或 +/- 189.250),并且达到了 4353436332008631522202821543171376 计算中的最大值.
查看项目的进度.
4.1 版本客户端已于2001年9月7日发布.
加入项目论坛或关于费马数的讨论组.查看项目进度.
PCP@Home PCP@Home项目是要用大量最短解寻找 Post's Correspondence Problem(波斯特对应问题)的小事件.这个计算机科学的理论问题自1946年便已经存在了.它证明了不可判定性:"一个用任何算法都无法解决所有事件的问题".在该项目中寻找PCP将有助于定义:"约束PCP的可判定标准".
加入项目要下载一个在 Linux ELF,FreeBSD ELF,Solaris 5.6 或 Windows上的预编译静态链接的可执行程序(你也可以下载并编译源码),还要下载一个用于运行改程序的名为 PcpSieve.pl 的 perl 脚本.检查用于记录解的输出后,将解 email 至项目协调器(你也可以手动运行可执行程序,手动寻找输出和发送任何你所找到的记录解).给 Windows 用户的提示: Windows 客户端是由 Rechenkraft.net 的 Michael Keppler 编译而成.他说其中存在一个严重的内存漏洞,你必须每天停止它后再重新启动.如果有谁知道如何解决这个 Windows 应用程序内存漏洞的话,请与他联系.
网站同时提供德语(German)访问.
该项目使用 Proth 程序或 GFNSieve21 程序来寻找这些数.Unix 用户及其他用户可以为项目"GeneFer"的C源码(C source code of "GeneFer")进行编译,而且可以用其直接进行 pre-sieved range(预筛选序列)的检查(注意:该预筛选项目的所有者对来自英国,美国,澳大利亚,丹麦等支持美对伊发动战争的国家的浏览者进行网站屏蔽).代码 1.2 版于2002年6月10日发布.
2003年1月6日,Daniel Heuer 用 GFNSieve+Proth 发现了现已知最大的广义费马素数:148307665536+1 (有 404434 位),破了他自己2002年10月8日的纪录."这个素数是最新的已知最大的非梅森素数,且是第六大已知素数."2003年2月16日,Michael Angel发现了第一个形式为 b217 + 1 的素数:62722131072 + 1(有 628808 位).这个素数是已知第五大素数.2003年2月21日,项目完成了对指数 32768 从 2 至 2200000 的整个区间的计算.2003年3月26日,Franz Hagel 发现了形式为 b65536 + 1 的第 20 个广义费马素数:35786865536 + 1(有 363969 位).2003年7月12日,Michael Angel 发现了第二个形式为 b217 + 1 的素数:130816131072 + 1.2003年8月22日,Daniel Heuer 发现了已知最大的广义费马素数:1176694217 + 1.这个795695位长的数是现在已知第五大素数.2003年9月22日,Daniel Heuer 发现了新的最大广义费马素数:130816131072 + 1.这个804474位长的数是现在已知的第五大素数.2004年1月8日,Yves Gallot 发现了形式为b131072 + 1的第五个广义费马素数:572186217 + 1(有754652位).2004年5月30日,Daniel Heuer 发现了这两个已知最大的广义费马素数:1372930131072 + 1(804474位)和 1176694131072 + 1(795695位).
加入关于素数的论坛.查看项目进度.
项目于2002年5月22日发现第 15 大素数(并且是第 2 大的 Proth 素数):32883×21000004+1.
要加入该项目,首先下载 George Woltman 的用于 Windows 或 Linux 的 PRP 软件,然后向 William Garnett 发送包括你的 CPU 类型,速度以及操作系统信息的 email,他就会将参与说明发送给你.
加入该项目的论坛.
协助 Seventeen or Bust 项目寻找最小的 Sierpinski number(谢尔宾斯基数),一个向谢尔宾斯基数问题发起挑战的分布式项目.项目所要寻找的 Proth prime numbers(普罗斯素数)是指一个数 k,如果每一个 n 得到的都是合数(非素数) Proth 数 N,则 k 即是谢尔宾斯基数.
2002年11月21日项目从 k=33661 开始,其余 15 个小项也从2002年11月23日开始.
加入项目需注册一个帐户,下载客户端,将帐户名填入设置项,最后运行.客户端对每一个数都进行 Proth 测试.对一般的机器,在每个数的测试上面约要花几个小时.当项目给你分配了一个数后,会等待 10 天以便你传回搜索结果.在这个时间内未接收到结果的话,会将该数重新分配给其他人.
客户端支持在防火墙后和使用代理服务器的用户.2005年5月31日发布了提供给 Windows,Linux 和 FreeBSD 的客户端.2004年12月11日发布供 BeOS 使用的客户端 V2.2.
有两个客户端都可以进行筛数:SoBSieve(Windows)和 NBeGone(多平台).要保存一序列数供筛选,可向项目论坛的筛选协调主题(sieve coordination thread)里去发送一个消息,然后将序列的结果提交道上面提到的"筛数"页面.2005年1月9日起,用户可凭借普通账号对项目已进行一次测试的数进行二次测试.这个特色部分奖包含在未来的客户端中,但至今对 Windows 客户端要有一点伤害.在这个论坛主题里看一下细节.加入时危险性自负.
这里是项目 Wiki(维基自由的百科全书).
加入项目论坛.查看项目进度.
在 Factorizations of Cyclotomic Numbers 项目中寻找分圆数因子.项目网站的组织并不像一个官方分布式计算项目,而且也没有任何经过预编译的客户端软件或对如何加入的清楚明了的介绍.这样的话应该会适合一些此前就懂得这方面数学原理和如何编译源代码的人.
Phi(92) 系列已于2002年11月2日完成了分解:最后一个合数是在这一天由 Tetsuya Kobayashi 分解的.Katsuyuki Okeya 在2002年12月30日对 Phi(61) 和 Phi(112) 完成了分解.Phi(69) 系列于2003年1月12日完成了分解:最后一个合数是由 Alexander Kruppa 进行的.Phi(112) 系列于2004年9月25日完成了分解.Phi(144) 系列于2004年10月12日完成了分解.Phi(104) 系列于2004年11月30日完成了分解.Phi(168) 系列于2004年12月24日完成了分解.Phi(180) 系列于2005年1月18日完成了分解.Phi(65) 系列于2005年2月9日完成了分解.Phi(130) 系列于2005年2月26日完成了分解.Phi(156) 系列于2005年3月6日完成了分解.Phi(210) 系列于2005年3月22日完成了分解.
加入项目需要下载并编译一个 GMP 或 UBASIC 分解程序,查看保存数据页面,后选择一个序列数据进行分解,并将序列信息 email 给 Hisanori Mishima.
阅读由Yves Gallot撰写的关于分圆多项式和素数的论文.
在 ZetaGrid 帮助验证 Riemann's hypothesis(黎曼猜想).这个猜想在1859年被提出,被表达为"黎曼 ζ 函数的所有非平凡零点都位于复平面上 Re(s)=1/2 的直线(被称为 critical line)上".在 140 年内,没有人能证明这一个猜想.它被认为是现代数学之中最重要的问题之一.
在2005年1月11日,这个项目已经计算出了一万亿个零点,收集了 20TB 的数据以及有关 Riemann 猜想的大量启示,这些将很快被发表并且可能能够证明出这个猜想.
客户端以屏幕保护程序,服务或者命令行界面的形式运行.命令行界面会显示一些正在计算的数据,显示什么数据可以修改.要运行程序,您必须安装了 JRE(Java Runtime Environment)1.2.2或以上版本.它只需要在发送结果和接收工作的时候连上网络.在2004年8月18日就有了版本1.9.3的客户端和 0140 号的 ZetaGrid 库.我们也有一个在 Windows 下的控制中心,它允许您设置多 CPU 计算和查看当前工作包还需要多长时间才能完成.
命令行界面的用户请注意,您需要下载 zeta_base.zip 和 zeta_platform.zip 这两个文件才能使用这个版本的客户端.编辑 zeta.cfg 文件来输入您的用户信息和程序设定.接着请下载 zeta.cmd 或者 zeta.sh 启动脚本并且编辑它来设置您的 JAVA_HOME 和代理服务器.
查看计划发现的 close zeros(零点).查看项目进度.查看关于此项目的论文.
加入 Goldbach Conjecture Verification(Goldbach - 哥德巴赫猜想的验证)来证明从最小自然数开始直到 1e18(1×1018) 的所有的自然数是否均符合猜想(1e16 以内的所有的数均已得到证明).哥德巴赫猜想是"数论里面一个最古老的未解问题.....它猜想每一个大于 2 的偶数都可以分解为 2 个素数的和."
客户端软件包括一个服务器应用程序,它必须运行在 V2.4 或更高版本核心的 GNU/Linux系 统上.还有一个客户端应用程序,也必须运行在相同的 GNU/Linux 系统上,或者是 Windows NT/2000/XP 这些可以与服务器程序通过 intranet 连接的系统.2005年5月,"客户端可以在 Windows 中以'批处理模式'运行而不需要 GNU/Linux 的服务器,这样手动进行管理就是必需的了.Windows 的客户端程序可以像服务器一样工作,而且不是在 DOS windows 上运行.程序可以隐藏在后台运行(优先级非常低)."加入项目时,先向项目协调人 Tomás Oliveira e Silva 发送一个 email,将你想运行服务器及客户端程序的机器信息写到里面,然后他就会告知你更多如何加入的信息.
加入项目要下载 proth.exe 客户端.在查证和进度页面看保存的序列,后在序列保存页面保存一个序列(然后提交结果).2004年4月5日最新公布了 LLRNet 的 Beta 版.
加入时需下载下列客户端软件:LLR,PFGW,PRP(到项目论坛看下载链接),然后从 1-2M reservations 范围中申请保留一个序列,在那个页面下载一个所有输入文件的 zip 文件.运行程序后,将结果 email 给 Paul Underwood.最新的筛选文件于2005年3月15日发布.注:项目只有论坛而没有网站.
NFSNET 使用 "数域筛法找越来越大的数的因子". 您可以通过加入页的介绍参与此项目.您也可以查看该项目最新的消息.
客户端是命令行模式的,同时有一个图形界面包装的客户端可用.它对于永久英特网连接用户更好. 它支持使用者在防火墙后使用而不是在代理服务器后.在2003年5月12日发布了候选客户端1版.
欢迎您加入此项目的论坛,订阅项目邮件发送清单.
项目最近已检验出下列数是素数:
在2004年10月26日 此工程完成 !18 到 180000.
参加指导在项目页顶端. 基本上,你发送邮件给项目管理员(the project coordinator)来预定一个类型,然后用 multisieve 和 pfgw Windows应用程序筛选范围并且找其中的素数 然后提交你的结果到项目管理员.
欲参加此项目 按页面 如何... 或 阶段2-如何... 的指示做.在2004年 6月12日 项目找到 M(1485)一个P49因数 它是由 ElevenSmooth 使用ECM找到的最大的因数.
在2004年 9月18日 项目找到 M(95040)一个P28因数 它是M(66528)的本原部分第一个知道的因数.
在2004年10月19日 项目找到 M(11880)一个P36因数 它是"这个数本原部分第二个知道的因数".
欲参加此项目 需要先下载 ECM 客户端程序然后依照下载页的指示设置它(如果你已安装 ECM 或 ECM 客户端应用程序 你只需要重新配置它 server=wblipp.dynu.com and port=8194).Unix 使用者可以按照下列方法建立一个 ECM 客户端.一旦 ECM 客户端配置好 它会联系 ElevenSmooth 项目服务器来得到数据包(work units)和返回结果.默认它处理一个数据包 30 分钟 但是你可以通过改变 maxfreq 参数改变处理时间. 项目维护者在防火墙或代理服务器之后.它维护 modem 使用者的一点点工作.您可以查看帮助页获得更多信息关于使用防火墙,代理服务器和 modem.
此项目有一个特别的子项目对于有至少贡献一个星期在主要 ECM 项目的人. 这特殊项目"用 GIMPS" 的程序 Prime95 同时继续工作于 M(3326400) 的所有本原数. 如果任何 ECM 将要完成最大的复合数 Prime95 会快很多.然后"自由"测试子复合因数.尽管用了 Prime95运行起大数它还是要花长时间.有资格参加这项目的人会被 E-mail 邀请.
帮助 Riesel Sieve 努力解决 Riesel problem(Riesel 问题):"消除来自一巨大的 .dat 文件的81个k的剩余候选素数...... .dat文件包含来自当前的约 400000 到 20000000 的 n 值每一个剩下的 k.个人筛选努力于每一单独的 k 要花费 2 周到一个月的时间到足够的水平.相当于努力筛选将允许我们去筛 100 次深并且快很多.没有更多地筛选到 3T 并且停了下来,现在我们可以去到300T甚至更远......" 在工程开始之前,有 101 个候选的 k 和超过 1100 万个 k/n 对.查看所有剩余的 k 的状况.或者您可以查看关于将要完成的剩余测试的总的回顾.
欲参加此项目 要使用 LLRNet 客户端自动下载数的范围和提交结果(看使用指导) 或者看下载页的指示来使用 rieselsiexe.exe 客户端.基本上 你下载 rieselsiexe.exe 程序文件和 riesel.dat 数据文件(被压缩的约 6MB否则 27MB).然后约定一个数的范围 用 rieselsieve.exe 处理它们 再提交你的结果.因为候选素数会被删而变得更小 所以 riesel.dat 文件会有规律的更新.
客户端会自动储存数据包和提交结果.
项目的主要目的是研究这些数 为此需要找一些素数.注意:项目负责人已封锁美国,英国,澳大利亚,丹麦以及其他支持美伊战争的国家的访问权限,如果您在这些国家 您将不能看到项目站点主页 取而代之的是一个关于政治主张的页面.你可以联系其负责人来获得你的 IP 地址除去障碍.
欲参加此项目 发送 Email 到项目负责人()来让他知道您对此感兴趣.然后您可以下载客户端按下载页的指示运行它.目前有用于 Windows 的 0.7 版有用于 LinuxFreeBSDAIX 和 Irix 的 0.8 版.
帮助寻找满足 k·2n±1 形式的素数因子.
查看最近的 50 个因数.
到 2004 年 9 月为止 此项已工作到 n=500(对于 k=11).现在包括 k=13 也分解到了 n=500. "k=13 n>500 的数完成只需很小的 ecm 时间".
doecm 客户端自动下载复合数并提交结果 不过你可以通过站点手动预定数和提交因数.你也可以下载源代码然后编译它以使之作为其他操作系统下的客户端.
您可以查看该项目主页的中文翻译.
欢迎您加入该项目建立在 Yahoo! 上的讨论小组.查看项目进度.
欲参加此项目,需要从项目网页的链接下载客户端 LLR.exe,然后在项目网页预定一个范围.当测试完成,去项目网页提交结果.2004年8月2日,发布一个新客户端 LLR.exe:似乎运行在 SSE2 系统(P4 和 AMD64)会比老版本快而运行在非 SSE2 系统比原来慢.
欢迎您加入该项目的论坛.查看项目进度.
欲参加此项目,需要从项目网页的链接下载客户端 LLR.exe,然后在项目网页预定一个范围.当测试完成,去项目网页提交结果.2004年8月2日项目发布了一个新的 LLR.exe 版本:似乎运行在 SSE2 系统(P4 和 AMD64)会比老版本快而运行在非 SSE2 系统比原来慢.
帮助 Operation Billion Digits 网站寻找 10 亿位的梅森数.该项目有意大利语言版本的项目主页(Italian ).这个项目在为一个几乎不可能实现的梦想在不懈努力.因为现代科技和算法不可能用小于 853 年的时间找到一个达到 10 亿位的素数 所以项目将只用某些可能的数进行试除.该项目所进行的因式分解将有助于未来的搜索,计算机科学和数论科学的发展.截止到 2005 年 2 月 12 日 此项目已成功利用了 1000 个 Pentium 90 CPU 小时.
欲参加此项目 从项目网页下载 Luigi Morelli 的客户端 factor3_2.exe 和一些 Cygwin 文件 然后在项目论坛预定一个未分配的指数.它比上一版本快 25%.
加入此项目的论坛.察看项目最近的进展.
如欲参加该项目 需要先下在命令行版本的客户端,然后依照项目站点下载页上的提示一步一步设置好之后就可以了.客户端是基于 Yves Gallot 提供的 genefer 算法编写的,它不支持使用代理服务器的用户,客户端能够自动下载任务包,并在计算完成后自动的向项目服务器递交结果.目前最新版本的客户端是 2005 年 1 月 7 日发布的 1.8 版,可用于 Win 和 Linux 系统之中.该客户端的的源代码是开放的.
欲参加此项目 需要先在项目官方网站注册以便于统计 然后您可以通过网站预定计算范围和提交结果.您可以使用 proth 或 primeform 等素数检测程序:这些程序可以在 Prime Links++ 处下载获得.
Lone Mersenne Hunters 搜索没有被其他项目(包括 GIMPS )测试过的梅森素数.
注意:该项目目前没有网站只有论坛.查看项目进度.
M1061 2004年10月14日 正在进行 1185 of 22000
M8151 2004年12月29日 正在进行 B1 11000000:
欲参加此项目,请阅读项目论坛上的介绍.
注意:该项目目前没有网站只有论坛.
帮助 100 Million digit prefactor project 从 GIMPS 项目所要寻找的首个1亿位素数中去除可分解的指数.这是 Operation Billion Digits 项目的姐妹项目.项目进行了"广泛的"预分解 -  - 对很大范围的指数(从 50 比特到 55 比特)进行预分解来除去大指数,并进行"深度"预分解 -  - "对单个指数预分解至更高的比特深度,经常是到 60-70 中间(可能更高些)".
欲参加该项目,请从项目主页上下载 Luigi Morelli 编写的 factor3_2.exe 客户端以及一些 Cygwin 文件.然后在项目网页上面查找列表中提供的指数序列,按照页面指示保存指数序列并提交结果.客户端 V2 现已发布,其比前版快 25%.
帮助 Repdigit Prime Problems 项目寻找满足 n * k 形式的素数,其中 k 是一个可以在被测数字低位中重复出现多次的一位数(例如:令 n = 47,k = 3,那么所有被测数字中,就可能有一个数是 473333).
欲参加该项目,请使用 primeform 应用程序(请按照项目主页上的说明使用 primeform 计算程序),然后可以和项目协调人通过 email 确认尚未被其他人测试过的数字,申请该计算任务,然后可以递交计算结果.
帮助 Mersennplustwo Factorization 对满足 2^p+1 形式的数进行因数分解.
欲参加该项目,请在项目网站的软件列表中挑选一个程序下载.项目网站不包括关于如何使用客户软件,预留测试数组和递交测试结果的说明.更多详情需要通过官方论坛获得.
欲参加该项目,请使用 NewPGen 进行筛选,使用 PRP 进行测试,具体方法请参考项目使用介绍.
该项目使用 BOINC 计算平台.您可以通过 BOINC 平台介绍页面以获得 BOINC 客户端的最新版本信息.