• 我的订阅
  • 科技

2的136279841次方减1:GPU发现最大素数 比第二大多1600万位数字

类别:科技 发布时间:2024-10-25 00:57:00 来源:浅语科技

新的人类已知最大素数,被GPU发现!

这个数就是2¹³⁶²⁷⁹⁸⁴¹−1,如果展开会有41024320位十进制数字。

一位英伟达前员工通过开源项目GIMPS(梅森素数大搜索,Great Internet Mersenne Prime Search)报告了这一结果。

他是通过NVIDIA A100初步发现,然后经由H100验证。

2¹³⁶²⁷⁹⁸⁴¹−1比之前创纪录的素数大1600多万位,是有史以来发现的第52个已知的梅森素数,也是GIMPS项目发现的第18个梅森素数。

连马斯克刷到新闻都跑来围观:

2的136279841次方减1:GPU发现最大素数 比第二大多1600万位数字

“GPU的用途不仅是AI”

2¹³⁶²⁷⁹⁸⁴¹−1目前也被称为M136279841,计算方法是136,279,841个2乘起来,然后再减1。

要细数这个最新素数被发现的故事,就不得不多说两句发现他的卢克老哥。

卢克老哥现在的身份是一家创业公司的CEO,也是目前GIMPS最多产的贡献者。

不过在之前,从2010年开始,老哥在NVIDIA工作了11年之久,期间参与过GPU的设计。

他之所以加入寻找梅森素数的行列,是想要通过这件事证明:

GPU不仅仅可以用在AI领域,也非常适合用来搞基础数学和科学研究。

2的136279841次方减1:GPU发现最大素数 比第二大多1600万位数字

当然,用GPU找素数不是卢克老哥自己的创新性想法。

早在2017年,Mihai Preda就留意到了GPU在PC中的功能性和重要程度与日俱增,然后他就编写了一套叫做GpuOwl的程序,来测试寻找梅森数中的素数。

2的136279841次方减1:GPU发现最大素数 比第二大多1600万位数字

2023年10月,卢克老哥开始了他的寻找梅森素数之旅。

在他看来,云计算中GPU可用性的爆炸性增长为GpuOwl提供了独特的机会。因此,老哥开发了一套跨多个GPU服务器运行和维护的GIMPS基础设施。

截至目前,卢克老哥的“云超级计算机”由数千个服务器GPU组成,横跨17个国家(地区)的24个数据中心区域。

测试一年之后,也就是这个月,卢克终于有了新发现——

10月11日,爱尔兰都柏林的NVIDIA A100报告称,M136279841可能是素数。

次日,美国德州圣安东尼奥的NVIDIA H100通过Lucas-Lehmer测试证实了这一点。

按照规定,卢克老哥因为找到了新的素数,可以获得3000美元的研究发现奖金。

不过消息称,老哥决定把这笔钱捐给阿拉巴马州数学与科学学院的数学系。

有文章感慨道:“这个最新的人类已知最大素数的出现,结束了普通个人电脑寻找素数在过去28年中的统治地位。”

世界上寿命最长的分布式项目之一

说到这里,我们来简单介绍几句,啥是素数,啥又是梅森素数。

素数,是指在大于1的自然数中,除了1和它本身以外不再有其他因数的自然数。

梅森素数则是2P-1形式的素数。得名于法国数学家和修道士马林·梅森(Marin Mersenne)。

人们为了纪念梅森在2P-1型素数研究中所做的开创性工作,从此以后,就把这种类型的素数称为“梅森素数”。

2的136279841次方减1:GPU发现最大素数 比第二大多1600万位数字

由于符合 2P-1形式的数,有高效的算法(如卢卡斯-莱默测试)可以用于素性检验,即使在P非常大的情况下也是如此。

后来人们发现的已知最大素数几乎都是梅森素数,因此寻找新的梅森素数的历程也就几乎等同于寻找新的最大素数的历程。

目前为止,一共发现了52个梅森素数,并且其中18个由GIMPS项目发现。

由于寻找梅森素数,不仅需要丰富的理论知识,还需要海量的计算,一个分布式项目诞生了。

它就是GIMPS,梅森素数大搜索。

GIMPS诞生于1996年,是世界上寿命最长的分布式项目之一,旨在发现新的世界纪录的最大/小的梅森素数。

由于它背后是一个科学研究慈善机构,因此GIMPS是一个志愿者团队协作的项目,任何拥有相当强大的PC或GPU的人都可以加入,成为“梅森素数猎人”。

人们可以通过下载开源的prime95和MPrime软件来搜索梅森素数,其中,Prime95的作用是拿它查询以前的梅森素数。

GIMPS用户运行的程序会执行Fermat probable prime检验:

测试一旦成功,就几乎可以确定一个新的梅森素数被找到了。

不过在GIMPS服务器收到“可能出现新梅森素数”的通知时,还是会马不停蹄地在不同硬件上使用不同程序,运行几个确定的Lucas-Lehmer素数测试,来确保万无一失。

2的136279841次方减1:GPU发现最大素数 比第二大多1600万位数字

GIMPS基于一种特殊算法来寻找最新的梅森素数。

上个世纪90年代初期,已故的苹果公司杰出科学家Richard Crandall发现了将卷积(本质上是大乘法运算)速度提高一倍的方法。

该方法不仅适用于素数搜索,也适用于计算的其他方面。

GIMPS的软件负责人George Woltman用汇编语言实现了Richard的算法,从而产生了一个效率空前的素数搜索程序,这才导致了GIMPS项目的成功。

不过一开始开始,它设计的软件仅仅能在英特尔PC上运行;后来,又能在各种非英特尔处理器上跑;十年前,GIMPS系列中又增加了GPU专用软件。

到现在,GIMPS已经为各种CPU和GPU提供完整的程序。

One More Thing

不过,围绕着梅森素数一直有些小小的争议。

因为梅森素数的实际用途其实不多,所以有人老是很疑惑,到底为啥要费劲吧啦地搜索寻找出这些最大梅森素数呢?

2的136279841次方减1:GPU发现最大素数 比第二大多1600万位数字

在梅森素数网站上,就这个问题被列出来的一个答案是:

为了荣耀!

2的136279841次方减1:GPU发现最大素数 比第二大多1600万位数字

话倒是说回来,其实几十年前,类似的疑惑就已经存在了,直到人们基于素数开发了重要的密码学算法,疑惑才被打消。

参考链接:

[1]https://www.mersenne.org

[2]https://x.com/elonmusk/status/1848361371974393958

[3]https://www.mersenne.org/why_join/

责任编辑:上方文Q

文章内容举报

以上内容为资讯信息快照,由td.fyun.cc爬虫进行采集并收录,本站未对信息做任何修改,信息内容不代表本站立场。

快照生成时间:2024-10-25 08:45:06

本站信息快照查询为非营利公共服务,如有侵权请联系我们进行删除。

信息原文地址:

最大素数!第 52 个梅森素数被发现
IT之家 10 月 22 日消息,互联网梅森素数大搜索(GIMPS)昨日(10 月 21 日)发布博文,宣布发现了全球已知最大梅森素数
2024-10-23 09:44:00
在研读孪生素数问题论文的过程中,丹尼尔•拉森掌握了梅纳德用以改进张益唐研究结果的数学方法,创造性地应用这个方法,最终证明了关于卡迈克尔数分布的突破性结果。撰文 | 吴朝阳(科普作
2023-12-07 11:31:00
...的主要对象是自然数。而在自然数中,最重要的一类就是素数,它们也是伍德最关心的数学对象之一。她大部分工作都用到了算术统计学(arithmetic statistics)领域的工具
2023-11-30 06:05:00
费马的遗产----探究素数的猜想和可构造多边形
...。费马对数论和数学问题的研究非常热衷,他致力于研究素数和它们的性质。特别地,他对于形如 2^(2^n)+1 的数表示出了极大的兴趣。这类数后来被称为费马数,它们由于特殊的形式
2024-02-05 10:13:00
数学因不严格的论证而得到丰富,很多命题建立在尚未证明的猜想上
...问题。为什么认为它那么重要?比方说,为什么它比孪生素数猜想更重要?而后一个猜想同样是关于素数序列的性态的。主要的但不是唯一的理由在于黎曼假设及其推广有为数巨大的推论。用宽泛的
2023-01-23 10:00:00
数海泛舟  薪火相传(科技自立自强)
...“我们日常生活中频繁用到的各种密钥,就是以数论中的素数为基础。”在刘建亚看来,解析方法是研究素数分布最有力的工具,黎曼假设、哥德巴赫猜想都是解析数论中的著名问题。取得硕士学位
2025-02-25 05:47:00
mathematica引入大语言模型,网友:买买买!
...tica:Makeatableofthefirst20twinprimes.制作一张表,列出前20个双素数。同样的
2023-07-05 13:24:00
如何向别人展示手机拍照与相机拍照的区别?
...控制选项,因此用户可能无法完全控制他们的图像。4.像素数 相机通常具有更高的像素数,这意味着它们可以生成更大的图像。这对于需要更高分辨率的用户来说非常重要,如摄影师或专业用
2023-04-20 13:46:00
历史上的今天 | 数学家陈景润逝世
...级重大成果。1973年,他发表著名论文《大偶数表为一个素数及一个不超过二个素数的乘积之和》(即“1+2”的详细证明),对世界三大数学难题之一的哥德巴赫猜想研究作出了重大贡献,
2025-03-19 16:20:00
更多关于科技的资讯:
从课堂走向秀场 高校教师原创品牌亮相中国国际时装周
荆楚网(湖北日报网)讯(记者唐天琪 通讯员郜峰)3月25日,武汉设计工程学院教师、“WEILEI未耒”品牌主理人包蕾携“等风来”2026秋冬高级成衣系列亮相中国国际时装周
2026-03-28 17:26:00
泰安九识无人车品牌战略发布暨全市合伙人招募大会举行
鲁网3月28日讯近日,泰安九识无人车品牌战略发布暨全市合伙人招募大会成功举办,各界嘉宾齐聚一堂,共同见证九识开启“全行业覆盖”的战略里程碑
2026-03-28 17:16:00
进入春季,企业复工、劳动力返岗,就业市场进入活跃期。3月24日,智联招聘发布的《2026年春招市场行情周报(第四期)》显示
2026-03-28 18:11:00
大皖新闻讯 3月27日,讯飞医疗(02506.HK)发布2025年度业绩报告,在“人工智能+医疗”行业黄金发展周期,讯飞医疗实现业绩高质量稳健增长
2026-03-28 17:04:00
中国青年报客户端讯(中青报·中青网记者尹希宁)近日,北京市门头沟区京西剧谷首家OPC(一人公司)落地。据了解,门头沟区近年来坚定实施“生态立区
2026-03-28 16:57:00
中国网3月28日讯 据国家安全部微信公众号消息,我们每天都在使用搜索引擎查找信息、获取资源,它早已是数字生活的必备工具
2026-03-28 14:20:00
c3c7e07a5ef6985223a972e0e8fba82e东南网3月28日报道(记者 洪振威 林先昌)作为中国智慧高速与交通信息化领域规模最大
2026-03-28 14:53:00
中新网北京3月27日电 近日,亚朵酒店的中文楼层标识引发热议。餐厅名曰“相招”,洗衣房写作“出尘”,健身房唤作“汗出”……这些取自古典诗文的雅致命名
2026-03-28 14:57:00
中新经纬3月28日电 (谢婧雯 周奕航)“当理科生指挥AI打车时,他会说‘打快车回酒店’,但文科生会说‘打个能快速接上我的车
2026-03-28 16:50:00
青岛精酿香耀蓉城 | 牡丹精酿啤酒闪耀第114届全国糖酒会
鲁网3月27日讯春和景明,蓉城聚首。3月26日,第114届全国糖酒商品交易会在四川成都拉开帷幕,城发集团(青岛)旅游发展有限公司携青岛精酿矩阵——“新啤士”“天香怡然”“今牡丹”三大品牌牡丹啤酒参展
2026-03-28 08:24:00
山东移动高唐分公司助力时风集团安防调度数智化转型
鲁网3月27日讯近日,山东移动高唐分公司与山东时风(集团)有限责任公司达成深度合作,为其提供31部中国移动“和对讲”终端及配套调度管理平台
2026-03-28 10:08:00
AI漫剧收入破亿、IP衍生品GMV翻倍,“IP+AI”为阅文打开全新增长空间
3月17日,阅文集团(股票代码:00772.HK)发布2025年全年财报。数据显示,2025年阅文实现营业收入73.7亿元
2026-03-28 10:10:00
提到医院的战略决策,不少人会想到高大上的规划、动辄千万的投入,或是引进顶尖设备、招聘知名专家;而提到单病种分析,却觉得它只是病案室里枯燥的数据统计
2026-03-28 05:20:00
【宅男财经|专家面对面】3月26日晚间,罗技中国在官方微博发布声明,就“罗技G官方旗舰店”发布违规内容致歉。此前有报道称
2026-03-28 06:02:00
凯文·凯利曾预言,当“镜像世界”——一个物理世界与数字世界完全映射的时代到来时,人类将面临一个悖论:我们要获得极致的便利和安全
2026-03-28 07:51:00