张志强酸帕特里克-罗什是有道理的,全世界不知道有多少学者,都会酸帕特里克-罗什。
因为,幸运。
中彩票的幸运者也会被酸,但中彩票是经常会发生的,全世界有很多的彩票中奖者,而发现最新梅森素数的,近几年时间里,只有帕特里克-罗什一人,他的名字已经在GIMPS官网主站挂了几年时间。
GIMPS官网有关于帕特里克-罗什幸运的介绍,上面写道,“对于帕特里克-罗什来说,这个赛季更加幸运,他的坚持获得了丰厚的回报。多年来,帕特里克一直在使用GIMPS软件作为他的计算机版本的免费“压力测试”,不到四个月前他开始在自己的媒体服务器上寻找,以回馈这个项目。”
“一些GIMPS参与者已经寻找了20多年,几万次尝试,但没有成功。这证明,运气好的话,任何人都可以找到下一个新的梅森素数。”
Prime软件长期在线人数几十万,运行的CPU数量几百万,几年时间,就只出现了一个帕特里克-罗什,有多幸运就可想而知了。
另外,发现新的梅森素数,收获的可不止十万美元奖励,还有个人名气上的巨大提升。
比如,GIMPS网站长期挂着帕特里克-罗什个人的‘幸运介绍’,目的大概是吸引更多的人加入进来。
很多对于发现新梅森素数的报道都会提到帕特里克-罗什,他的名字出现在各大媒体的版面上,不知道的人还以为是什么有名气的学者,有巨大贡献的科学家。
可实际上,帕特里克-罗什放在学术圈,就只是个最底层而已,至多能算得上是一个算法工程师,还是能力并不算太突出那种。
如果真去计较的话,帕特里克-罗什并不算是学者,可他却因为幸运的发现梅森素数,而以‘类似于学术成果的成果’,变得比其他真正学者更有名气。
这就是被学者们羡慕嫉妒的根源。
帕特里克-罗什干了什么呢?
他只是利用Prime软件做服务器压力测试,用自己的电脑挂一下软件运行,然后就很幸运的找到了梅森素数。
他收获了金钱,收获了名声,还把名字留在了有关梅森素数的历史记录中。
王浩仔细想想都感觉有些感慨,不得不承认,帕特里克-罗什确实是非常的幸运。
他摇了摇头,自定义了程序运行时间,很快被分配了一个超大质数,也开始用电脑挂起了Prime软件,而后也不理会,就开始研究起了梅森素数。
他研究的是算法。
Prime软件的主要功能是进行分布式处理和计算统计,实际上,内部对于梅森素数的检验算法是非常简单的,针对一个数字的验证,就是采用卢卡斯-莱默检验法。
卢卡斯-莱默检验法,是针对梅森数的素性检验,由爱德华-卢卡斯于1878年制定的,五十年后,德里克-亨利-莱默对于方法进行了改进完善。
这个针对梅森素数的素性检验方法已经非常简化。
利用卢卡斯-莱默检验法,验证梅森数‘Mn=2的n次方-1’是否是素数,只需要让程序循环运行‘n-2次’就够了。
当然,因为牵扯到千万位的超大数,每一次循环的计算量还是很高的,但针对千万位超大数的素性检验,已经可以说是简化到了极致。
比如,家用普通电脑,运行一百个小时左右,就可以检测出一个千万位梅森数的素性。
这种速度相当惊人。
正因为如此,一直到现在快要百年时间,针对梅森数的素性检验,使用的依旧是卢卡斯-莱默检验法。
卢卡斯-莱默检验法的内容,只要看一眼就能明白过来,方法没有什么难度可言。
正因为方法太过于简单,想改善就显得无从下手。
比如,普通的加法,方法已经足够简单,还怎么去改善呢?
王浩仔细思考了一下,也根本是无从下手,但研究肯定是有方向的,针对单个素数的检验方法无法突破,也能够在检验数字筛选上做突破。
但是,他仔细想了很久,还是找不到方向,只能慢慢看看能不能有什么灵感。
……
第二天早上,王浩早早的爬起来去晨跑。
生活节奏回归了以往的规律,锻炼也碰到了熟悉的人。
苏映雪。
她依旧是那副运动打扮,也依旧显得英姿飒爽。
王浩和苏映雪一起跑了两圈,顺便说了几句话,才知道对方是准备长期驻扎西海市了。
“我负责跟进纳微实验室的项目。”苏映雪简单的一句解释,透露出了很多信息,她力主和纳微实验室进行合作,直接负责项目的跟进,肯定是对项目非常重视的。
如果纳微实验室的项目长期没有进展,对苏映雪个人的事业也许造成一些影响。
“我记得说过,建议你们和纳微实验室合作。”王浩笑道,“肯定不会后悔。”
“我相信你。”苏映雪看着王浩的眼睛,很认真的点头。
王浩和苏映雪说了几句,又坚持跑了两圈,感到有些疲惫就离开去吃早饭了。
豆浆、油条,外加一个茶叶蛋,经典搭配,美滋滋的吃着补充着消耗的体力。
一天又开始了。
有个披着线衣、笑的很甜的女生走过来,她把餐盘放在了王浩对面,有些惊喜的说道,“王浩老师,我刚才看着就像你,还真是,不打扰吧?”
“没关系。”
王浩抬起头说了句,发现对方似乎有些熟悉,不就是罗大勇班里的辅导员,名字叫……
这不重要!
来人是孟芊。
她有个开朗健谈的性格,坐在对面后也主动和王浩说起话,不会让气氛显得过于沉闷。
“王浩老师,恭喜你了,创造了国内学者,近二十多年,在解析数论领域,完成国际性成果的历史,还上了新闻,可真厉害。”
“我和朋友昨天还说起了你呢,你现在可是学校里的大名人!”
孟芊连续恭维了王浩好几句,后来就谈到了自己的研究,“王浩老师,记得上次就说过,有时间可要指点下我,论文、博士论文,太难了,我到现在都找不到方向。”
王浩问道,“你是做计算机研究吧,什么领域?”
“人工智能,算法。”孟芊用两个词做了介绍。
王浩立刻摇头,“这个我可帮不了。人工智能方面,我也不了解,不过学校里,从事这方面研究的人很多,我办公室里的张志强,就做过相关研究,要不我帮你介绍一下?”
“那不用。”
孟芊赶忙摆手道,“我的导师也专门做这方面的研究,而且做研究不能都问别人。我做的是表示学习的算法,只是想找个方向。”
“表示学习的算法……”
王浩思考着摇头,“这个领域,我真是完全不懂啊。”
孟芊笑道,“别谦虚啊,王浩老师,你可是算法专家。有时间能不能帮我看看,不需要具体说做什么,我只是想找个方向。”
“嗯……好吧。”王浩犹豫了一下,总是拒绝也不太好,想着去看一下也没什么,就还是同意了。
但他还是强调了一句,“我是真不懂人工智能领域,到时候,帮不上什么忙,可别怨我。”