• 我的订阅
  • 科技

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
更多关于科技的资讯:
中新经纬1月15日电 据“深圳市消费者委员会”微信号消息,近期,深圳市消委会开展儿童洞洞鞋比较试验,从线上、线下随机购买15款样品
2026-01-15 21:00:00
做完近视手术后,到底能不能看手机、电脑?划重点:可以看,但要讲“时机”和“方法”,盲目用眼可能会影响恢复哦!首先要明白
2026-01-15 22:13:00
依托自主研发的金融科技平台与线上化系统支撑,昆山农商银行成功推出“贵金属线上业务”及专属财富管理小程序,突破传统贵金属业务的地域与时间限制
2026-01-15 22:40:00
最高补贴1500元!家电、数码全都有,这份“省钱指南”请收好
大河网讯 近日,郑州航空港区正式启动2026年消费品以旧换新补贴活动,覆盖汽车、家电、数码智能产品三大领域,通过真金白银的补贴
2026-01-15 21:17:00
消费选择的力量:OATLY携手各界伙伴共建可持续生态
作为全球前沿和领先的燕麦奶公司,OATLY在创立30多年的时间里,始终倡导健康与可持续的生活理念,持续开发优质燕麦产品
2026-01-15 21:29:00
赋能卓展新材料产业链升级,万事达以一体化方案打造高标准智造厂房
在制造业高质量发展的背景下,高标准工业空间成为企业提升竞争力的关键。近日,万事达集团(以下简称“万事达”)与山东卓展新材料有限公司(以下简称“卓展新材料”)正式达成合作
2026-01-15 21:29:00
国产热成像品牌实力榜解析
曾几何时,红外热成像江湖是FLIR、雷神等海外巨擘的专属领地,技术壁垒与市场垄断如同铜墙铁壁。但如今,国产力量强势崛起
2026-01-15 17:21:00
智启创业新篇 共筑产业高地——2026年青岛市AI创业生态大会举办 单人AI创业家(OPIE)平台同步上线
鲁网1月15日讯(记者 薛同春 通讯员 赵红)1月15日,2026年青岛市AI创业生态大会暨单人AI创业家(OPIE)平台上线发布会在青岛国际会议中心隆重举行
2026-01-15 17:22:00
当一场场标榜“山姆线上直播”“无需会员费”“全国配送”的带货狂欢在网络直播间轮番上演时,消费的便捷似乎触手可及。然而,喧嚣背后隐藏着另一重真相
2026-01-15 17:58:00
在智能化浪潮席卷各行业的今天,如何正确理解并应用人工智能,成为转型的关键。针对这一热点话题,贵州省人工智能机器视觉产研中心算法专家
2026-01-15 18:34:00
海外网1月15日电 据美国《新闻周刊》网站报道,由于销售状况不佳和债务情况恶化,美国高端百货零售企业萨克斯环球于当地时间14日宣布申请破产
2026-01-15 19:39:00
纵览名师讲堂 | 关注中考动向,聚焦高频考点一尺规作图与图形剪拼解题策略
石家庄市第九中学齐迎霞老师主讲中考数学高频考点——尺规作图与图形剪拼解题策略
2026-01-15 16:19:00
纵览原创|盒马指数171远超一线城市均值!石家庄新零售火爆的背后
记者 李春炜1月13日傍晚六点半,石家庄勒泰中心负一层的盒马鲜生门店内,选购新鲜果蔬、烘焙点心的顾客络绎不绝,收银台前排起长队
2026-01-15 16:21:00
海尔巴基斯坦发布冰箱新品 夯实高端引领地位
当地时间1月8日,海尔巴基斯坦经销商峰会在拉合尔成功举办。会上,海尔冰箱正式推出27款全系彩屏变频新品,包括Vista风冷系列以及全面升级的TM660系列
2026-01-15 16:13:00