头条新闻

新的梅森素数（可能）被发现

作者：Eric W. Weisstein

2001年11月14日——梅森素数邮件列表（Woltman，2001年11月14日）报告称，一个新的梅森数通过了卢卡斯-莱默检验，被确认为素数。梅森数是形如 M_n = 2ⁿ - 1 的数。例如，M₇ = 2⁷ - 1 = 127 就是一个梅森数。

对这类数的研究有着悠久而有趣的历史，而寻找梅森素数（所谓的梅森素数）是一项计算挑战性很高的工作，需要世界上最快的计算机。先前已知的梅森素数的指数 n 的完整列表为 n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 和 6972593 (Sloane's A000043)。其中最后一个有惊人的 2,098,960 位数字。然而，最后两个已知的梅森素数之间的区域尚未完全搜索，因此尚不清楚 M_6972593 是否实际上是第 38 个梅森素数。

四个已知最大的梅森素数是由一个名为互联网梅森素数大搜索 (GIMPS) 的国际志愿者协作组织发现的。在该组织最近发给成员的电子邮件中，他们报告说，现在已经发现了一个更大的梅森素数。

候选素数由一位 GIMPS 志愿者标记为素数，该志愿者在一台 x86 兼容 PC 上运行 George Woltman 的 prime95 代码。然而，该数尚未通过在不同硬件上运行的独立软件验证为素数。验证工作目前由 Compaq 公司的 Paul Novarese 使用 Ernst Meyer 编写的程序 (ftp://hogranch.com/pub/mayer/README.html) 在 667MHz Alpha 21264 CPU 上完成（Meyer，2001年12月3日）。假设初始结果得到确认，GIMPS 将发布官方公告和新闻稿，其中将揭示该数和幸运发现者的姓名。新梅森素数的确切指数的官方公告目前计划在 12 月 6 日或 7 日发布（Woltman，2001年11月21日），搜索组织者已经报告说，该数本身有超过 350 万位数字！