首页 时事 民生 政务 教育 文化 科技 财富 体娱 健康 情感
更多
旅行 百科 职场 楼市 企业 乐活 学术 汽车 时尚 创业 美食 幽默 美体 文摘

人类已知最大素数诞生：2¹³⁶²⁷⁹⁸⁴¹−1！前英伟达员工数千GPU爆肝算出，高达4100万位

科技   2024-11-04 12:00   北京  
上一篇：一线体面男的收入


原文链接：https://mp.weixin.qq.com/s/98R0e-pbeTNTOds4Prr4jA

【新智元导读】人类已知最大的素数，被GPU发现了！英伟达前员工Luke Durant发现的2136279841-1，比前一个纪录保持者多出1600万位，由A100计算，H100确认。为此，小哥搭了数千个GPU的「云超算」，分布在17个国家。

人类已知最大素数纪录，刚刚被打破！
答案就是——2136279841-1。
更了不得的是，这个素数是英伟达GPU发现的。
一位「梅森素数猎手」、英伟达前员工，通过自己收集的大量高性能显卡，找到了这个4100万位的最大素数。比起2018年发现的上一个梅森素数，它整整长出1600万位。
这也是史上首个使用GPU找到的梅森素数。
这个素数，终结了个人电脑在发现最大素数上的28年统治。（GIMPS项目之前的所有发现，都是由相对简陋的个人计算机中的CPU完成的。）
所以，发现最大素数，究竟有什么用呢？
帝国理工学院教授数学系教授Kevin Buzzard告诉我们：没有。
是的，这个发现目前完全没有实际应用，但很多数学研究起初都是如此。
现在，最大素数可能没有用，但很可能将来某一天有人会发现它的用途。到那时他们会问数学研究界：「那么，你们的最大素数在哪里？」而数学家们会回答：「其实我们已经研究这个问题几十年了……」
不过，这次做出这一发现的英伟达前员工，还是获得了一点小小的好处——3000美元的奖励。

全新素数霸主诞生


让位吧，282589933-1，现在新的素数霸主诞生了。（这个新素数/质数也被称为 M136279841）
英伟达前员工Luke Durant发现的2136279841-1，比这位多年纪录保持者多出1600万位！
GIMPS激动地表示，这次发现不仅归功于Luke Durant，还要感谢软件开发者和服务器维护者，以及成千上万筛选了数百万非素数的GIMPS志愿者。荣誉属于大家！

为表彰以上所有人员，此次荣誉归于「L. Durant、M. Preda、G. Woltman、A. Blosser等人」
素数是什么？就是只能被1和自身整除的正整数。
这样的数字有2、3、5、7、11……以及2136279841-1。
2136279841-1，是由2相乘136279841次，然后减去1得到的。它是已知的第52个梅森素数。

令人着迷的梅森素数

长期以来，素数一直令数学家们着迷。梅森素数是一种形如2P-1的素数。
最早的梅森素数是3、7、31和127，分别对应P=2、3、5和7。现在已知的梅森素数有52个。
在大约公元前350年，欧几里得首次讨论梅森素数以来，它们一直是数论的核心。
17世纪初，法国修士马林·梅森（Marin Mersenne）提出了一个著名的猜想：哪些P值会产生素数？
为了解决梅森猜想，数学家们花费了300年，还由此诞生了几个重要发现。

有趣的是，梅森的猜想随后被证明不完全正确

欧几里得证明了每个梅森素数都能生成一个完全数。完全数是其所有真因数之和等于该数本身的数。最小的完全数是6=1+2+3，第二个完全数是28=1+2+4+7+14。
欧拉则证明了所有偶完全数都来自梅森素数。新近发现的完全数是2136279840 x (2136279841-1)。这个数字超过了8200万位！
不过，目前尚不清楚是否存在奇完全数。

延续两千年的搜寻

2000多年后，Durant为了寻找这个数字，使用了一台分布在17个国家、由数千个GPU组成的超算。
在爱尔兰的A100计算发现，2136279841-1很可能是素数；紧接着，在德克萨斯州的H100进行了确认。

寻找梅森素数的项目，叫做梅森素数大搜索（GIMPS，也即Great Internet Mersenne Prime Search）。
GIMPS成立于1996年，发现了最近的18个梅森素数。

历年发现的梅森素数
这个科研项目背后是一个慈善机构在支持，任何拥有强大的PC或GPU的人，都可以自愿加入成为志愿者——「梅森素数猎人」。
猎人们可以下载一个免费程序来搜索这些素数，任何找到新素数的幸运儿，都将获得3000美元奖励。
GIMPS发现的素数，是用费马可能素数测试来识别的。
然后一旦GIMPS服务器收到可能是素数的通知，就会使用不同程序在不同硬件上运行多个确定性的卢卡斯-莱默素性检验法（Lucas–Lehmer primality test），来进行严格验证。
目前，可能存在尚未发现的较小梅森素数，并且几乎可以肯定，存在等待被发现的更大梅森素数。
就如开头所言，GIMPS在做的事情究竟有什么意义？目前还很难说，因为大梅森素数的实际用途可以说是几乎没有。
这种质疑从几十年前就开始存在，直到后来，人们基于素数开发出了重要的密码算法。
梅森素数猎人们主要是寻找刺激感，因为寻找素数的过程相当于数学和计算机科学的基础研究。这个过程也证明了云超算的能力。
另外，别看这次的3000美元奖励不多，但第一个一亿位数的素数将获得150,000美元的奖金，而到了第一个十亿位数的素数，奖金将升至250,000美元！
各位GPU富人，你们可以行动了。

GPU的崛起


在GIMPS中，36岁的研究员、英伟达前员工Luke Durant，是最活跃的志愿者之一。
此前的猎人们，发现最大素数都是用的CPU。
在2017年，一位叫Mihai Preda的猎人感受到了GPU的巨大潜力，编写了GpuOwl程序用来测试梅森数，并且把软件向所有GIMPS用户开放。
Luke Durant对于GPU的巨大能量一直心知肚明。他认为，如果能找到新的梅森素数，就能证明GPU不仅可以用于AI，也适合于基础数学和科学研究。
从23年10月，Luke开始为GIMPS做贡献，彼时云中GPU可用性的爆炸性增长，为Mihai的软件提供了独特的机会。
于是，Luke干脆开发了一套「云超算」，在多个GPU服务器上运行和维护一套GIMPS软件。
最终，这台云超算跨越了17个国家的24个数据中心，由成千上万个服务器GPU组成。
经过近一年的测试，他成功了！
10月11日，爱尔兰都柏林的一台A100 GPU报告称：2136279841-1可能为素数。
10月12日，美国德州的一台H100通过Lucas-Lehmer测试，确认了它为素数。

大梅森素数搜索：寿命最长的分布式项目

1996年1月，大梅森素数搜索项目（GIMPS）由George Woltman成立。
1997年，Scott Kurowski使GIMPS能够自动利用数千台普通计算机，来搜索「稀有的数学瑰宝」。
GIMPS是世界上寿命最长的分布式项目之一。
它最初的软件仅在英特尔PC上运行。几年后，Ernst Mayer编写了一个可以在多种非英特尔处理器上运行的程序。这个程序在独立验证几乎每一个GIMPS素数方面，都发挥了重要作用。
十年前，专为GPU设计的软件诞生。几年后，Mihai Preda的突破性gpuowl程序问世。现在，GIMPS可提供适用于各种CPU和GPU的完整程序套件。
GIMPS项目背后的算术算法也有着独特历史。此次发现2136279841-1的程序，就是基于一种特殊的算法。
1990年代初期，已故的苹果科学家Richard Crandall发现了一种方法，可以将卷积（本质上是大规模乘法运算）的速度提高一倍。
这种方法不仅适用于素数搜索，还适用于其他方面。
为此，Crandall申请了快速椭圆加密系统的专利，利用梅森素数快速加密和解密信息，现由苹果拥有。
George Woltman用汇编语言实现了Crandall的算法，从而产生了一个前所未有高效的素数搜索程序，奠定了所有成功GIMPS项目的基础。

官方答案：为什么要寻找梅森素数？


1. 为了传统！

人们对这于些数学宝藏的追寻，始于公元前300年左右。
当时，欧几里得想要在他的《几何原本》中描述偶完全数。他意识到偶完全数都与某个素数p形式为2ᴾ-1的素数密切相关（现在称为梅森素数）。
随后，Cataldi、笛卡尔、费马、梅森、Frenicle、莱布尼茨、欧拉、Landry、Lucas、Catalan、Sylvester、Cunningham、Pepin、Putnam和Lehmer（仅举几例）依时间先后研究了大素数。
我们怎能不加入这样一个杰出团体呢？
在决定如何处理大数、如何描述其因子以及发现素数的过程中，很多初等数论都得到了发展。
简而言之，探索大素数（尤其是梅森素数）的传统由来已久，硕果累累，值得继承。

2. 探索产生的衍生价值

对美国来说，第一个将人类送上月球具有重大的政治价值，但对社会最具持久价值的是其衍生成果。
比如，为太空探索开发的新技术和材料，如今已成为日常用品；而教育基础设施的改进，让很多人成为了职业科学家和工程师。
寻找下一个创纪录的素数，也是如此。
刚刚提到的那些数学巨匠（如欧几里得、欧拉和费马），都在探索过程中为初等数论留下了伟大的定理（如费马小定理和二次互反律）。
随着时间推移，人们需要找到一种更新、更快的大整数乘法方法。
1968年，Strassen发现了如何使用快速傅里叶变换（Fast Fourier Transform）进行快速乘法运算。1971年，他和Schönhage对方法进行了完善，并成功发表。如今，GIMPS使用的是Richard Crandall开发的改进版算法。
梅森搜索也被教师用来激发学生的研究兴趣。
而这些，仅仅是这项搜索带来的部分衍生成果。

3. 人们喜欢收集珍稀且美丽的物品

梅森素数，通常是已知的最大素数，既珍稀又优美。
自从欧几里得在大约公元前300年开始寻找和研究梅森数以来，发现的还不到50个——这确实称得上珍稀！
同时，它们也很优美。
数学，像所有研究领域一样，有着明确的美学标准。我们寻找那些简短、简洁、清晰的证明，如果可能的话，还要能够将之前不相关的概念结合起来或教会你一些新东西。
梅森素数拥有最简单的素数形式之一：2ⁿ - 1。其素数证明优雅而简洁。
当然，除了这些之外，梅森素数还有一些出人意料的应用。

4. 为了荣耀！

为什么运动员要努力跑得比别人更快，跳得更高，标枪投得更远？仅仅是出于对获胜的渴望。
这种竞争精神并不是为了他人。就如攀岩者被险峻悬崖吸引，登山者渴望山峰。
而梅森素数猎人们，就如同登山者。
他们对人类最大的贡献，并非仅仅体现在实用层面，而是滋养了人类的求知欲望和探索精神。
如果我们失去这种追求卓越的渴望，还能算是真正完整的人吗？

5. 为了测试硬件

自电子计算机时代开始，寻找素数的程序就被用作硬件测试工具。
例如，英特尔会在出货前使用GIMPS项目的软件程序来测试奔腾II和奔腾Pro处理器。而著名的奔腾bug，就是在Thomas Nicely计算孪生素数常数的相关研究中被发现的。
为什么素数程序会被这样使用呢？这是因为它们对CPU和总线要求极高，且程序相对简短，并能够轻易验证答案。在后台运行的同时，亦可进行其他「更重要」的任务。

6. 为了更好地了解分布规律

尽管数学不是一门实验科学，但数学家们经常会寻找具体的例子来验证猜想，并希望能在之后证明它们。
随着研究实例数量的增加，我们对其数学分布的理解也会相应加深。著名的素数定理（Prime Number Theorem）就是数学家们通过仔细研究素数表而发现的。
一些看似简单的计算帮助人们发现了一些有趣模式，比如素数竞赛（Prime Number Races），这些发现催生了大量深入的研究工作。

7. 为了钱？

也有一些人仅仅为了奖金。
毕竟15万美元和20万美元，也是不小的数目了。
参考资料：
https://gizmodo.com/nvidia-computer-finds-largest-known-prime-blows-past-record-by-16-million-digits-2000514948
https://www.mersenne.org/why_join/
https://www.mersenne.org/primes/?press=M136279841
来自：新智元


对此，你怎么看？
--完--
PS：欢迎在留言区留下你的观点，一起讨论提高。如果今天的文章让你有新的启发，欢迎转发分享给更多人。

全文完，感谢你的耐心阅读。如果你还想看到我的文章，请一定给本文“在看”、“点赞”，新文章推送才会第一时间出现在你的微信里。

- END - 

热门推荐：
PS：如果觉得我的分享不错，欢迎大家随手点赞、转发、在看

 http://mp.weixin.qq.com/s?__biz=MzI0MjE3OTYwMg==&mid=2649597234&idx=1&sn=e96dee2fb5e799ba18c2d0cff5815425
Java架构技术
架构技术社区：打造全网最全的开发者聚集地，分享全栈开发的技术文章、工具资源、精选课程、视频资源、学习资料和人生职场成长感悟。
 最新文章
自己工资 14K，找到月薪 28K工作后，开心地提交辞呈，租了新房子！入职前一天HR说：原来岗位的人不走了，你offer被取消了
被裁当天就让滚蛋，离职后领导同事反复问项目问题，还让一起拉群开会讨论工作，怎么破？
重磅！Chrome 被强制出售？谷歌或将抛弃 ChromeOS 全面转向 Android 系统
千万粉UP主陷抄袭风波！原作者怒怼：不是你的原创，别从中获利
突发！富途被曝裁员，网友：聊完立马下线，卷铺盖走人
中国程序员最大的悲哀！（1100W+阅读）
今年的京东也太猛了......
腾讯大调整！
甘露寺2024年招聘公告！环境清幽，包吃包住，午休3小时。。。
这可能是中国最“恨”地铁的高校，甚至写了篇论文反对地铁经过...
腾讯最新工资公布: 人均年薪超108万
刚刚！支付宝崩了？！网友急疯！最新消息来了
38岁大厂程序员：被裁员了，找不到工作，存款200W，没有房，想在天津躺平可以活多久？
微信第 1 行代码曝光！!
3500 亿元！张一鸣成首位 80 后中国首富！我围观了他近 10 年微博，整理了这 231 条干货
字节跳动：员工之间不允许称呼「哥/姐」
字节员工：87年的，2-2，一年内没得升上，虽然没有pip，但年纪大了，晋升渺茫，是不是基本就n＋1了？
施一公：清华70%的高考状元都去哪了？
华为员工：在华为，很卷先不说，熬时间真的受不了！明明能早下班，非得中间休息很久，拖到晚上8点半以后下班
酒店开房订单“订后即焚”被指“鼓励出轨”，涉事平台回应
前饿了么员工：34岁大专，离职大厂，现找不到工作，房贷、生活的压力，从前offer随便接，现在几乎没面试机会
15岁山东初中生做 CTO，开源项目刚被数百万元收购了
大厂程序员提倡“防御性编程”：故意把代码写很烂，万一被裁，要确保留下的代码不可维护
某高管接受不了降薪打击被120拉走
人类已知最大素数诞生：2¹³⁶²⁷⁹⁸⁴¹−1！前英伟达员工数千GPU爆肝算出，高达4100万位
为什么大家gap这么久，不降薪去小公司或者外包？
阿里巴巴元境大裁员，上月底Last Day；蚂蚁与阿里彻底切割
阿里巴巴元境大裁员，上月底Last Day；蚂蚁与阿里彻底切割
大厂员工爆料：985毕业，投百份简历无人问津，一气之下把薪资由2W调为3W，简历改成英文，结果出乎意料
比裁员更侮辱人的事发生了。。。
32岁程序员：即将失业，每月8K房贷，工作不稳定，没背景，孩子马上出生，现在去考公能养活家庭吗？
Linux 内核“清洗”俄开发者？Linus 大佬亲自下场回复：水军别费力气了，我绝不撤回决定
浏览不良网站一定会有记录吗?
“国企女员工离岗16年”，丈夫回应：16年前怀孕在家休养，下周一就回去上班
大厂程序员：千万不要去小公司，要求什么都会，一个人干五个人的活，干了两个多月，想跑路了
全球第二大成人网站、“Web世界的最后捍卫者”——OnlyFans一年赚66亿美金，远超Pornhub、比AI创业公司都挣得多
很多单位，已经发不出工资了
大厂程序员：当程序员这么多年，每天早9晚9，被绩效压着，被PUA，没一天是为自己而活，就算赚再多钱也回不到过去了
字节员工：本7字节2-1 40k，2年内没晋升希望，想跳槽升级，可行吗，还是只能内部晋升？
又疯了一个！找工作惊现「面试姐」
IT工程师在工作电脑存储64G色情内容，公司发现后将其开除；员工辩称：我存了，但没看！赔我41万
北大码农：每月近5w，扣税9k多
阿里员工：阿里工作7年至少得P7吧，快的都P8了，年薪100W是正常的，80才算及格
某大厂程序员：公司最近招了一批35左右的，这帮人习惯天天卷到八点多，导致现在我们也要八点才下班
IT 巨头或裁员近 6000 人，每人最高赔偿 223 万
一公司被曝全员37天无休且“没有加班费和调休”，两员工当场申请辞职，当地介入调查
脸书员工：只要公司不倒闭，40岁的程序员是稳的，而30岁的程序员只能吃到互联网的尾气，更何况后面还有人均985的应届生大军
字节员工：在大厂真没意义，加班多、活多；学到最重要的能力就是忍受无意义的工作？
4位阿里P7大佬被裁，合伙卖包子，结果每月稳亏5万
拼多多员工：拼多多离职困难，那是不是意味着可以干到退休，发大财？
 分类
时事
民生
政务
教育
文化
科技
财富
体娱
健康
情感
旅行
百科
职场
楼市
企业
乐活
学术
汽车
时尚
创业
美食
幽默
美体
文摘
 原创标签
时事 社会 财经 军事 教育 体育 科技 汽车 科学 房产 搞笑 综艺 明星 音乐 动漫 游戏 时尚 健康 旅游 美食 生活 摄影 宠物 职场 育儿 情感 小说 曲艺 文化 历史 三农 文学 娱乐 电影 视频 图片 新闻 宗教 电视剧 纪录片 广告创意 壁纸头像 心灵鸡汤 星座命理 教育培训 艺术文化 金融财经 健康医疗 美妆时尚 餐饮美食 母婴育儿 社会新闻 工业农业 时事政治 星座占卜 幽默笑话 独立短篇 连载作品 文化历史 科技互联网
 发布位置
广东 北京 山东 江苏 河南 浙江 山西 福建 河北 上海 四川 陕西 湖南 安徽 湖北 内蒙古 江西 云南 广西 甘肃 辽宁 黑龙江 贵州 新疆 重庆 吉林 天津 海南 青海 宁夏 西藏 香港 澳门 台湾 美国 加拿大 澳大利亚 日本 新加坡 英国 西班牙 新西兰 韩国 泰国 法国 德国 意大利 缅甸 菲律宾 马来西亚 越南 荷兰 柬埔寨 俄罗斯 巴西 智利 卢森堡 芬兰 瑞典 比利时 瑞士 土耳其 斐济 挪威 朝鲜 尼日利亚 阿根廷 匈牙利 爱尔兰 印度 老挝 葡萄牙 乌克兰 印度尼西亚 哈萨克斯坦 塔吉克斯坦 希腊 南非 蒙古 奥地利 肯尼亚 加纳 丹麦 津巴布韦 埃及 坦桑尼亚 捷克 阿联酋 安哥拉