计算机结构实验室,超算组办公室。
刘海滨和董浩正坐在一起说着超算组的工作问题。
刘海滨的年龄还不到40岁,就已经是苏东大学信息学院的正教授,并在计算机结构实验室担任研究员,也是超算组的组长。
董浩年纪稍大一些,已经快45岁了,他是实验室主任,负责实验室上下的工作。
他们正说着的时候,就听到门口传来一声喊,“刘教授,有人找!”
刘海滨到门口看了一眼,就见到三个人依次走了进来。
最前面的是……错开!
董浩是看到人进来才站起来的,他也同样错开了第一个人,马上后发先至的走过去热情的喊道,“张硕教授!”
“久仰大名啊!”
“客气了。”
张硕的名气实在太大了。
他是网络上的学术明星,即便没见过本人也能认出来,更不用说是在苏东大学了。
董浩和张硕握了手,随后又和罗勇军握手,“罗教授!”
刘海滨也分别和张硕、罗勇军握手。
两人又一起看向了孙兴利。
“这位是……”
“孙兴利,孙教授!”张硕也帮着介绍了一下,“高院的研究员。”
董浩顿时恍然大悟,他主动伸手过去,“抱歉,原来和张硕教授一起研究杰波夫猜想的孙教授!”
孙兴利哀怨着也只能接受了,好消息是对方说出了他的研究成果。
几个人相互客套以后,自认为有经验的孙兴利就直接说明了来意。
“是要用服务器?”
刘海滨点头说道,“当然没问题。我们对外是按小时算的,常规一个小时的使用费是一千块。”
张硕看向了孙兴利。
孙兴利轻轻点头,小声道,“是这個价格。我用了五个小时,花了5000。”
“五个小时?这么慢?”
张硕听罢眉头微微皱了一下。
“慢?”
刘海滨顿时有点儿不乐意,他马上道,“我们的服务器赶不上超算,也安装有1200个处理器,常规算力超过1000台普通电脑。”
董浩赶忙说了一句,“张硕教授做的都是重大研究,算力需求高也是正常的。”
“刘教授的报价是对外,针对学校内的科研项目,使用费是一个小时200,费用相对还是比较低的。”
他说完解释了句,“有些算力中心也对外开放,单独针对项目提供的算力也赶得上我们的服务器。”
“不是什么重大研究。”张硕摇头说道。
孙兴利则是道,“不是学校内项目,就是个人爱好,和我去年一样。”
“和你一样?”
董浩有些不明白,疑惑问道,“孙教授,你做过什么计算吗?”
话音刚落,就听刘海滨恍然大悟的说道,“我想起来了,孙教授,你在我们这里做过一次计算,是去年,梅森数验证,对不对?”
这句话喊出来,门口路过的人都停了一下,还扒着头往里面看了一眼。
董浩也反应过来。
去年有人过来租借服务器去做梅森数的素性检测,是实验室上下都知道的事情。
这是极为罕见的。
实验室的服务器一般都是科研项目的计算,或个人研究才会用得到。
有人专门租服务器挂prime,去检验几个梅森数的素性,其行为可以用‘不差钱的土豪’来形容。
开玩笑!
谁会那样做?
孙兴利厚着脸皮说道,“别谈我的光辉历史了,这次我们还是验证梅森数的素性!”
其他人都看见了张硕。
张硕也不太在意,就直接说道,“我们确实是来验证梅森数的。”
董浩和刘海滨对视了一眼,也没有再针对这件事说什么,而是问道,“是什么数字?”
他补充道,“如果和孙教授一样是大八位数,只算一个,拿几个小型的服务器算一下就可以。”
“也不用付钱了,我们实验室帮你算出来。”
张硕掏出写满数字的稿纸,给董浩、刘海滨展示了一下。
孙兴利和罗勇军也凑过去看。
他们扫一眼就愣住了。
孙兴利有些夸张的喊道,“九位数?还是3、4开头的?你都不早说……你知道这代表什么吗?”
他说出了董浩和刘海滨想说的话。
张硕理所当然道,“我不是说过吗?要找亿位素数,n是三亿以上的数字,才可能是亿位素数。”
“但是……”
孙兴利拧着脸好半天没说出话。
刘海滨也懂梅森数,也终于明白张硕为什么说计算慢了。
他摇头道,“这种数字计算量太大了,用我们的服务器算一个月也就算一个数字。”
“真要算的话,必须就要用超算中心的算力了。”
其他人也明白过来。
张硕听到孙兴利说算了五个小时,下意识就说了一句‘慢’,原来他要算的是九位数啊!
梅森数的素性检测,计算量会伴随幂数n的上涨呈现指数性上升。
幂数以‘3’开头的九位数,比大八位数所需要的计算量,轻易就能高出上百倍,甚至几百倍。
孙兴利的几个数要算五个小时。
张硕的一个数就要持续计算十几天,甚至花费一个月以上。按照一个小时1000块来算,算一个数可能要花费几十万。
张硕也明白了。
他很干脆的拿起桌上的笔,就开始在稿纸上划起了数字,一个个数字纷纷被划掉。
他来不及管任务的事情,快速划掉了29个数字,纸上只剩下最后一个。
“就是它了,只算这个数字!”张硕用力说道。
“你确定吗?张教授?”
罗勇军在身后拉了张硕一把,他感觉测定梅森数的素性等于是扔钱。
几十万啊!
扔掉?
那就好像心脏被剪掉了一部分……疼啊!
张硕还是肯定道,“就算它了,我决定好了。”他说完问道,“能不能用超算中心的算力,一个月太长了。”