第一百一十二章 第52个梅森素数,第一个亿位素数!
计算机结构实验室,超算组办公室。
刘海滨和董浩正坐在一起说着超算组的工作问题。
刘海滨的年龄还不到40岁,就已经是苏东大学信息学院的正教授,并在计算机结构实验室担任研究员,也是超算组的组长。
董浩年纪稍大一些,已经快45岁了,他是实验室主任,负责实验室上下的工作。
他们正说着的时候,就听到门口传来一声喊,“刘教授,有人找!”
刘海滨到门口看了一眼,就见到三个人依次走了进来。
最前面的是……错开!
董浩是看到人进来才站起来的,他也同样错开了第一个人,马上后发先至的走过去热情的喊道,“张硕教授!”
“久仰大名啊!”
“客气了。”
张硕的名气实在太大了。
他是网络上的学术明星,即便没见过本人也能认出来,更不用说是在苏东大学了。
董浩和张硕握了手,随后又和罗勇军握手,“罗教授!”
刘海滨也分别和张硕、罗勇军握手。
两人又一起看向了孙兴利。
“这位是……”
“孙兴利,孙教授!”张硕也帮着介绍了一下,“高院的研究员。”
董浩顿时恍然大悟,他主动伸手过去,“抱歉,原来和张硕教授一起研究杰波夫猜想的孙教授!”
孙兴利哀怨着也只能接受了,好消息是对方说出了他的研究成果。
几个人相互客套以后,自认为有经验的孙兴利就直接说明了来意。
“是要用服务器?”
刘海滨点头说道,“当然没问题。我们对外是按小时算的,常规一个小时的使用费是一千块。”
张硕看向了孙兴利。
孙兴利轻轻点头,小声道,“是这個价格。我用了五个小时,花了5000。”
“五个小时?这么慢?”
张硕听罢眉头微微皱了一下。
“慢?”
刘海滨顿时有点儿不乐意,他马上道,“我们的服务器赶不上超算,也安装有1200个处理器,常规算力超过1000台普通电脑。”
董浩赶忙说了一句,“张硕教授做的都是重大研究,算力需求高也是正常的。”
“刘教授的报价是对外,针对学校内的科研项目,使用费是一个小时200,费用相对还是比较低的。”
他说完解释了句,“有些算力中心也对外开放,单独针对项目提供的算力也赶得上我们的服务器。”
“不是什么重大研究。”张硕摇头说道。
孙兴利则是道,“不是学校内项目,就是个人爱好,和我去年一样。”
“和你一样?”
董浩有些不明白,疑惑问道,“孙教授,你做过什么计算吗?”
话音刚落,就听刘海滨恍然大悟的说道,“我想起来了,孙教授,你在我们这里做过一次计算,是去年,梅森数验证,对不对?”
这句话喊出来,门口路过的人都停了一下,还扒着头往里面看了一眼。
董浩也反应过来。
去年有人过来租借服务器去做梅森数的素性检测,是实验室上下都知道的事情。
这是极为罕见的。
实验室的服务器一般都是科研项目的计算,或个人研究才会用得到。
有人专门租服务器挂prime,去检验几个梅森数的素性,其行为可以用‘不差钱的土豪’来形容。
开玩笑!
谁会那样做?
孙兴利厚着脸皮说道,“别谈我的光辉历史了,这次我们还是验证梅森数的素性!”
其他人都看见了张硕。
张硕也不太在意,就直接说道,“我们确实是来验证梅森数的。”
董浩和刘海滨对视了一眼,也没有再针对这件事说什么,而是问道,“是什么数字?”
他补充道,“如果和孙教授一样是大八位数,只算一个,拿几个小型的服务器算一下就可以。”
“也不用付钱了,我们实验室帮你算出来。”
张硕掏出写满数字的稿纸,给董浩、刘海滨展示了一下。
孙兴利和罗勇军也凑过去看。
他们扫一眼就愣住了。
孙兴利有些夸张的喊道,“九位数?还是3、4开头的?你都不早说……你知道这代表什么吗?”
他说出了董浩和刘海滨想说的话。
张硕理所当然道,“我不是说过吗?要找亿位素数,n是三亿以上的数字,才可能是亿位素数。”
“但是……”
孙兴利拧着脸好半天没说出话。
刘海滨也懂梅森数,也终于明白张硕为什么说计算慢了。
他摇头道,“这种数字计算量太大了,用我们的服务器算一个月也就算一个数字。”
“真要算的话,必须就要用超算中心的算力了。”
其他人也明白过来。
张硕听到孙兴利说算了五个小时,下意识就说了一句‘慢’,原来他要算的是九位数啊!
梅森数的素性检测,计算量会伴随幂数n的上涨呈现指数性上升。
幂数以‘3’开头的九位数,比大八位数所需要的计算量,轻易就能高出上百倍,甚至几百倍。
孙兴利的几个数要算五个小时。
张硕的一个数就要持续计算十几天,甚至花费一个月以上。按照一个小时1000块来算,算一个数可能要花费几十万。
张硕也明白了。
他很干脆的拿起桌上的笔,就开始在稿纸上划起了数字,一个个数字纷纷被划掉。
【科研币-29。】
【任务已完成,可提交!】
他来不及管任务的事情,快速划掉了29个数字,纸上只剩下最后一个。
“就是它了,只算这个数字!”张硕用力说道。
“你确定吗?张教授?”
罗勇军在身后拉了张硕一把,他感觉测定梅森数的素性等于是扔钱。
几十万啊!
扔掉?
那就好像心脏被剪掉了一部分……疼啊!
张硕还是肯定道,“就算它了,我决定好了。”他说完问道,“能不能用超算中心的算力,一个月太长了。”
“没问题。”
董浩点头道,“我们和东港算力中心有合作,他们那边的算力单价还便宜一些,只有计算量需求很大的时候才用到。”
“用他们那边的算力,这个数字大概需要几个小时吧?这是我的预估,现在也不确定。”
“费用么……”
董浩和刘海滨对视了一眼,继续道,“看计算量吧。”
他坦然说道,“我们和东港算力中心的协议是按算力收费的,你这个数字,我估计要……10万以上。”
刘海滨跟着说了一句,“已经很低了。”
张硕对计算量也有个预估,他听罢问道,“董主任,刘教授,如果算到一半儿就结束了呢?”
“比如说,只算了半个小时。”
董浩愣了一下明白过来,“伱的意思是,这正好是个梅森素数?”
“对。”
如果幂数对应的是个梅森素数,计算循环中途就会退出,也许一个小时就会结束运算。
董浩笑道,“这样,张教授,如果它是个梅森素数,我们不止不收费,还送你十万!”
“真的吗?”张硕追问。
“当然。”
董浩哈哈一笑,“能算出第52个梅森素数,到时候,就能说是我们结构实验室算出来的,10万块算得了什么?”
“那就开始吧!”
张硕满意的点头,心里也很是期待。
……
计算就是在实验室的电脑上登录张硕的prime账号,也就进入了GIMPS分布网络。
随后,再登陆东港算力服务中心,借用他们的算力进行计算。
一切都准备好以后,计算就开始了。
张硕坐在电脑前等待着。
孙兴利、罗勇军坐到一起,刘海滨也凑了过去,好奇的问道,“张硕教授为什么非要算那个数字?”
“10万块,多可惜!”
“我们真没多收费,其他人要是算这个,董主任根本不会同意。”
孙兴利点头,“这个我知道。你们就是区别对待,我去年来的时候,一个小时要我一千块。”
“换成张硕,变成按科研项目收费了。”
刘海滨打了个哈哈,“孙教授你下次再来,我肯定按学校项目收费,你放心吧。”
“还来?”
孙兴利不由咧了咧嘴。
刘海滨又问了一句,“张教授为什么非要算那个数字呢?”
“你这都不明白?”孙兴利道,“我去年就过来一次了,他就是在重走我的青春!”
“固执、坚持,要失败一次,才能认清现实!”
罗勇军难得没有反驳。他还在为算力费用心疼,感觉好像是花了自己的钱一样。
刘海滨依旧是不理解,他一直在和计算机打交道,实在无法理解算梅森数有什么意思?
难道做数学研究,就有信心自己能分析出梅森素数?
……
与此同时。
王朵菊、周建新陪同着刘健、张春阳、许军三位教授来到了高等研究院楼。
刘健、张春阳、许军,是代表科技工业局来的。
李老师得知张硕的NS方程数值研究,找了几个相关的学者来苏东大学和张硕谈谈,想知道研究的具体进展情况。
NS方程数值模拟,拥有重大的应用价值和意义,是必须要重视的。
三人一路以来聊着这个话题,“是航天二院那边传出的消息,但感觉说的有点儿太过了。”
“NS方程,别说是数值模拟,就是数值法计算都是个难题。”
“东港数学中心的李剑峰团队在研究这个,好像也有不小的进展,难道张硕还能比李剑峰进展更大?”
“李剑峰团队应该是国内最有实力的吧?”
“管它情况怎么样,我过来跑了一趟,就是想见见张硕,那可是个大名人。”
“也对。”
三人的到来还是很低调的,他们是代表科技工业局来的,特别和苏东大学说不要高调。
所以只有王朵菊和周建新陪同一起来找张硕。
到了高等研究院楼,他们发现张硕并不在,打听了好几个人都不知道情况,最后还是打电话才知道在计算机结构实验室。
张硕也不知道是谁来,但他还想等梅森数的素性检验,可不愿意去见谁,直接回道,“有什么事来这边说。”
王朵菊说完情况以后,张春阳说道,“要不我们在这里等?”
“等什么?”
刘健道,“张教授可能在做什么研究,我们还是过去看看吧。”
“好吧。”
三个人商定就一起去了计算机结构实验室。
他们刚到所在办公室门口,就听到里面传来一个惊奇的喊声,“计算已经结束了!”
“结束了?”
“不可能这么快啊,那可是九位数字,东港那边分给我们这么高的算力吗?”
这是刘海滨问出来的。
房间里,刘海滨、董浩、孙兴利、罗大勇都在,还有其他两个副教授也过来凑热闹。
就在刚刚,他们还在研究要算多长时间。
这是能通过分配的算力以及需求的计算量算出来的。
然后,就发现计算结束了。
刘海滨问完去检查了一下,发现计算确实结束了,他一时间脑子有点儿懵。
董浩也有点儿懵。
其他人也都反应过来。
计算中途没有出现问题,算力中心没有分配更多的算力,计算提前结束也就意味着……
“梅森素数!”
孙兴利不可置信的喊出声。
所有人都带着疑问看向了张硕,眼中还透露出惊奇的神色。
张硕淡然的笑着,他先是轻轻点了下头,随后站起来对孙兴利道,“所以我说,孙哥,我是过来实现你的梦想!”
“计算结束了!”
“我检验出了第52个梅森素数,也是第一个亿位素数!”