寻找一个亿位的素数……
张硕还是第一次做这种研究，发现想找研究的入手点很不容易。
亿位的素数，首先必定是一个位数过亿的数字，而位数过亿的数字中，最小的数字是10的99，999，999次方。
数字大到如此地步，用常规方法去测定素性牵扯的计算量会庞大到无法估量，最高端的计算机性能也根本是杯水车薪。
所以，必须要找特殊的数字。
梅森数就是‘特殊数字’中最容易测定素性的，直到目前为止，已知最大素数排行榜的前几位都是梅森素数。
梅森数，也就是‘2的n次方-1’，因为其具有的特殊性质，可以用卢卡斯-莱默检验法来进行素性测定。
卢卡斯-莱默检验法是专门针对梅森数进行一种循环检测的方法。
这种方法让梅森数的素性检验大大的简化，比如，检测数字‘2的n次方-1’的素性，只需要进行‘n-2’次循环计算就可以得到结果。
当然，针对亿位数字来说，每进行一次计算都需要庞大的计算量，而进行分析也不可能针对亿位数字本身。
“所以，还是只能对幂数n进行研究……”
在所有的梅森数中，梅森素数占据的比例极少，出现也没有什么规律可言，研究入手点也只能从幂数n进行分析。
首先，要让梅森数高于亿位，幂数n就必须大于3.32192（log2（10））亿。
其次，n必须是素数，只有n是素数，对应的梅森数才可能是梅森素数。
然后……
“氪币！”
【科研币-1。】
在进行了科币操作以后，马上知道了下一步的大方向——概率筛选！
用概率判定的方法，筛选大于‘3.32192亿’的素数，有素数n对应梅森素数的可能性低，就直接排除掉。
梅森素数没什么规律可言，筛选方法自然也充满了‘主观性’。
也就是说，筛选过程并不严谨。
当然，也根本没什么影响，研究的目标就是找到‘一个亿位素数’，只要筛掉的不是亿位素数对应的n就没影响。
……
张硕开始‘闭关’了。
他在办公室里一闷就是一整天。
谭友铭和苏炳康一起站在楼梯口，他有些担心的说着，“张硕做研究有点儿太投入了，最近长期一个人闷在办公室。”
“他可能还不太适应研究员的生活？”
苏炳康盯着张硕办公室的门，拧着眉头道，“我刚才去看了一下，确实是在做研究，他投入到甚至没理我，我进去、再出来，他可能都不知道。”
他思索着说道，“是不是因为毕业太快了？从学习到工作的转变，可能会真有些不适应。”
孙兴利远远的走了过来，他顺着两人的眼神看过去，问道，“谭院长，苏教授，你们在看什么？”
“张硕！”
谭友铭担心道，“他一直闷在办公室里，又是两天了。”
“这有什么大不了？”孙兴利摸了摸后脑勺，他有些不明白，“我也一直待在办公室，不是很正常吗？”
“你是做研究？”谭友铭有点怀疑。
“当然了！”
孙兴利顿时大声强调，“我是在为明年申请项目做准备，都开始写计划书了！”
“我去看看！”
他说完没等谭友铭说什么，赶紧走向了张硕办公室。
“进！”
里面传来一身喊。
孙兴利推门走了进去，就看到桌子、地上有好多的手稿，让房间看起来有些凌乱。
张硕正盯着电脑屏幕。
孙兴利凑过去扫了一眼，发现屏幕上是一個分析曲线图，上面还有一大堆密密麻麻的点，他看了好半天也没看明白。
他拿起桌上的一张手稿，放在眼前看了又看，发现上面是一大堆的数字，还有一些符号、公式之类的内容。
他盯着手稿看了好半天，忽然反应过来，满是惊讶的喊道，“你是在研究梅森素数？！”
“肯定是！”
张硕点头道，“上次你说起梅森素数，我觉得很有意思，就想找一个亿位的素数出来。”
孙兴利顿时笑了，“你是在走我的老路！”
“我25岁的时候，也是你这种状态，天天去研究一大堆的数字，不过看起来你比我还要执着……”
“我能理解，都会有这一天！”
他理解的拍了拍张硕的肩膀，“不过我奉劝你提前做好什么都发现不了的心理准备，不然等一无所获的时候，晚上一个人偷偷的哭鼻子，还被女朋友嘲笑，那可是很难受的。”
张硕愣了一下，马上转过头问道，“伱还因为这个晚上偷偷的哭？而且还被女朋友嘲笑？”
“我不是说我，我是说你！”孙兴利立刻纠正过来。
“我没有女朋友。”
“……反正我是说你！”
孙兴利狠狠的说下一句，迅速从房间里走出来，才关上门就看到罗勇军走了过来。
罗勇军听说张硕一个人闷在办公室，就过来看看情况，他小声问道，“怎么样？张硕在干什么？”
“能怎么样？”
孙兴利认真道，“他正在重蹈我的覆辙，这是我们这类人必定会经历的！”
“你们这类人？你和张硕？”
“对啊。”
罗勇军不屑的扫了孙兴利一眼，“你还是说说吧，我反正不认为你们是一类人。”
孙兴利带着郁闷解释了下。
然后，45度抬头看天，叹气的说道，“张硕正处在我几年前的状态，天真的想找梅森素数，想拿15万美元奖金。”
“最终，必定会一无所获，我已经看到了他的未来，就像是我那已然逝去的青春……”
罗勇军扯了扯嘴角，挖苦道，“我记得你说过，你硕士毕业的时候谈了个白人女朋友，交往了没多久就分手了。”
“还逝去的青春？你的青春就是被分手，赶紧忘掉吧！”
“……”
办公室里。
张硕继续着研究。
他发现‘找数字’很有意思。
之前做的研究都是做证明、研究算法、实现方法等等，研究有进展就是有进展，找准了方向任务进度就会提升。
现在的研究不一样，是以数学的方式做概率判定，而且判定过程很有主观性。
就像是在一大群陌生人中，挑选出长得最好看的一个。
怎么挑选呢？
“个子矮的不合格、个子高的不合适、长头发的剔除……”
“脸上长痘了，出列！”
“戴眼镜的可以走了……”
在一系列‘似乎有关似乎无关’的判定以后，一大堆的数字被剔除掉了。
任务进度增长也很有意思，似乎只要是筛掉数字进度就会增长，剔除了绝大部分数字以后，任务进度增长了一大截。
“不管用什么样的方法，只要剩余的数字中有和亿位梅森素数关联的n，进度就会增长。”
然后，他开始大范围的剔除数字。
任务进度增长的飞快。
张硕一时间都感觉是找到了系统任务的bug，直到最后剩下31个数字，无论再怎么去剔除数字，任务进度都动也不动了。
打开任务系统——
【任务一】
【研究项目名称：寻找一个亿位素数（难度评估：C）。】
【进度：70.000%。】
（任务可取消，当前取消任务需要科研币数量：65。）
（剩余进度需要科研币数量：30。）
“70%整？”
“剩下需要30个科研币……”
他明白了。
任务系统可以帮助剔除绝大部分数字，最后剩下的必须用计算机来检验，要么就是购买任务进度。
他是消费了一个科研币，任务进度也变成了‘71%’，再去试着剔除一个数字，剩余的数字就变成了30个。
“剩下的30个数字中，必定有一个是和亿位梅森素数关联的n。”
“如果是直接购买进度，还要花费29个科研币，但最后任务结算只有20个科研币。”
“最好的方式是用计算机直接做检验？”
“30个数字，还是有点多……”
张硕把数字一一抄了下来，随后站起来走出了办公室。
他去找了孙兴利。
罗勇军也在孙兴利的办公室，他坐在沙发上喝着咖啡，孙兴利则是坐在椅子上，翘着脚尖儿刷着手机。
张硕进门直接说道，“孙哥，你是在哪找的大型服务器？”
“梅森数？”
孙兴利猛地坐正了身体，看着张硕眼神直发光，他笑嘻嘻的走过来，“你想做计算验证？”
“对。”
张硕把写着数字的稿纸，给孙兴利展示了一下，开口道，“这些数字，计算一下看看。”
孙兴利笑的更开心了。
他拉着张硕就往外走，明显有种迫不及待，“计算机结构实验室，超算组，他们实验室就有大型服务器。”
“他们和东港计算服务中心有合作，还能远程借用东港计算服务中心的算力。”
他走到门口还转头叫上了罗勇军，“老罗，一起去。有人马上要重走我的青春之路了……”
“多有意思！”
罗勇军没理会孙兴利，他走过来看向张硕，小声劝解道，“要不再考虑一下？用超算组的服务器是要花钱的，而且费用不低。”
“没关系。”
张硕不在意的摇了摇头，笑道，“找到第一个亿位素数，能拿到15万美元奖金。”
孙兴利认可的点头，“那时候，我也是这么想的！”
他说着满脸笑容，还高高的竖起了大拇指。
张硕还是第一次做这种研究，发现想找研究的入手点很不容易。
亿位的素数，首先必定是一个位数过亿的数字，而位数过亿的数字中，最小的数字是10的99，999，999次方。
数字大到如此地步，用常规方法去测定素性牵扯的计算量会庞大到无法估量，最高端的计算机性能也根本是杯水车薪。
所以，必须要找特殊的数字。
梅森数就是‘特殊数字’中最容易测定素性的，直到目前为止，已知最大素数排行榜的前几位都是梅森素数。
梅森数，也就是‘2的n次方-1’，因为其具有的特殊性质，可以用卢卡斯-莱默检验法来进行素性测定。
卢卡斯-莱默检验法是专门针对梅森数进行一种循环检测的方法。
这种方法让梅森数的素性检验大大的简化，比如，检测数字‘2的n次方-1’的素性，只需要进行‘n-2’次循环计算就可以得到结果。
当然，针对亿位数字来说，每进行一次计算都需要庞大的计算量，而进行分析也不可能针对亿位数字本身。
“所以，还是只能对幂数n进行研究……”
在所有的梅森数中，梅森素数占据的比例极少，出现也没有什么规律可言，研究入手点也只能从幂数n进行分析。
首先，要让梅森数高于亿位，幂数n就必须大于3.32192（log2（10））亿。
其次，n必须是素数，只有n是素数，对应的梅森数才可能是梅森素数。
然后……
“氪币！”
【科研币-1。】
在进行了科币操作以后，马上知道了下一步的大方向——概率筛选！
用概率判定的方法，筛选大于‘3.32192亿’的素数，有素数n对应梅森素数的可能性低，就直接排除掉。
梅森素数没什么规律可言，筛选方法自然也充满了‘主观性’。
也就是说，筛选过程并不严谨。
当然，也根本没什么影响，研究的目标就是找到‘一个亿位素数’，只要筛掉的不是亿位素数对应的n就没影响。
……
张硕开始‘闭关’了。
他在办公室里一闷就是一整天。
谭友铭和苏炳康一起站在楼梯口，他有些担心的说着，“张硕做研究有点儿太投入了，最近长期一个人闷在办公室。”
“他可能还不太适应研究员的生活？”
苏炳康盯着张硕办公室的门，拧着眉头道，“我刚才去看了一下，确实是在做研究，他投入到甚至没理我，我进去、再出来，他可能都不知道。”
他思索着说道，“是不是因为毕业太快了？从学习到工作的转变，可能会真有些不适应。”
孙兴利远远的走了过来，他顺着两人的眼神看过去，问道，“谭院长，苏教授，你们在看什么？”
“张硕！”
谭友铭担心道，“他一直闷在办公室里，又是两天了。”
“这有什么大不了？”孙兴利摸了摸后脑勺，他有些不明白，“我也一直待在办公室，不是很正常吗？”
“你是做研究？”谭友铭有点怀疑。
“当然了！”
孙兴利顿时大声强调，“我是在为明年申请项目做准备，都开始写计划书了！”
“我去看看！”
他说完没等谭友铭说什么，赶紧走向了张硕办公室。
“进！”
里面传来一身喊。
孙兴利推门走了进去，就看到桌子、地上有好多的手稿，让房间看起来有些凌乱。
张硕正盯着电脑屏幕。
孙兴利凑过去扫了一眼，发现屏幕上是一個分析曲线图，上面还有一大堆密密麻麻的点，他看了好半天也没看明白。
他拿起桌上的一张手稿，放在眼前看了又看，发现上面是一大堆的数字，还有一些符号、公式之类的内容。
他盯着手稿看了好半天，忽然反应过来，满是惊讶的喊道，“你是在研究梅森素数？！”
“肯定是！”
张硕点头道，“上次你说起梅森素数，我觉得很有意思，就想找一个亿位的素数出来。”
孙兴利顿时笑了，“你是在走我的老路！”
“我25岁的时候，也是你这种状态，天天去研究一大堆的数字，不过看起来你比我还要执着……”
“我能理解，都会有这一天！”
他理解的拍了拍张硕的肩膀，“不过我奉劝你提前做好什么都发现不了的心理准备，不然等一无所获的时候，晚上一个人偷偷的哭鼻子，还被女朋友嘲笑，那可是很难受的。”
张硕愣了一下，马上转过头问道，“伱还因为这个晚上偷偷的哭？而且还被女朋友嘲笑？”
“我不是说我，我是说你！”孙兴利立刻纠正过来。
“我没有女朋友。”
“……反正我是说你！”
孙兴利狠狠的说下一句，迅速从房间里走出来，才关上门就看到罗勇军走了过来。
罗勇军听说张硕一个人闷在办公室，就过来看看情况，他小声问道，“怎么样？张硕在干什么？”
“能怎么样？”
孙兴利认真道，“他正在重蹈我的覆辙，这是我们这类人必定会经历的！”
“你们这类人？你和张硕？”
“对啊。”
罗勇军不屑的扫了孙兴利一眼，“你还是说说吧，我反正不认为你们是一类人。”
孙兴利带着郁闷解释了下。
然后，45度抬头看天，叹气的说道，“张硕正处在我几年前的状态，天真的想找梅森素数，想拿15万美元奖金。”
“最终，必定会一无所获，我已经看到了他的未来，就像是我那已然逝去的青春……”
罗勇军扯了扯嘴角，挖苦道，“我记得你说过，你硕士毕业的时候谈了个白人女朋友，交往了没多久就分手了。”
“还逝去的青春？你的青春就是被分手，赶紧忘掉吧！”
“……”
办公室里。
张硕继续着研究。
他发现‘找数字’很有意思。
之前做的研究都是做证明、研究算法、实现方法等等，研究有进展就是有进展，找准了方向任务进度就会提升。
现在的研究不一样，是以数学的方式做概率判定，而且判定过程很有主观性。
就像是在一大群陌生人中，挑选出长得最好看的一个。
怎么挑选呢？
“个子矮的不合格、个子高的不合适、长头发的剔除……”
“脸上长痘了，出列！”
“戴眼镜的可以走了……”
在一系列‘似乎有关似乎无关’的判定以后，一大堆的数字被剔除掉了。
任务进度增长也很有意思，似乎只要是筛掉数字进度就会增长，剔除了绝大部分数字以后，任务进度增长了一大截。
“不管用什么样的方法，只要剩余的数字中有和亿位梅森素数关联的n，进度就会增长。”
然后，他开始大范围的剔除数字。
任务进度增长的飞快。
张硕一时间都感觉是找到了系统任务的bug，直到最后剩下31个数字，无论再怎么去剔除数字，任务进度都动也不动了。
打开任务系统——
【任务一】
【研究项目名称：寻找一个亿位素数（难度评估：C）。】
【进度：70.000%。】
（任务可取消，当前取消任务需要科研币数量：65。）
（剩余进度需要科研币数量：30。）
“70%整？”
“剩下需要30个科研币……”
他明白了。
任务系统可以帮助剔除绝大部分数字，最后剩下的必须用计算机来检验，要么就是购买任务进度。
他是消费了一个科研币，任务进度也变成了‘71%’，再去试着剔除一个数字，剩余的数字就变成了30个。
“剩下的30个数字中，必定有一个是和亿位梅森素数关联的n。”
“如果是直接购买进度，还要花费29个科研币，但最后任务结算只有20个科研币。”
“最好的方式是用计算机直接做检验？”
“30个数字，还是有点多……”
张硕把数字一一抄了下来，随后站起来走出了办公室。
他去找了孙兴利。
罗勇军也在孙兴利的办公室，他坐在沙发上喝着咖啡，孙兴利则是坐在椅子上，翘着脚尖儿刷着手机。
张硕进门直接说道，“孙哥，你是在哪找的大型服务器？”
“梅森数？”
孙兴利猛地坐正了身体，看着张硕眼神直发光，他笑嘻嘻的走过来，“你想做计算验证？”
“对。”
张硕把写着数字的稿纸，给孙兴利展示了一下，开口道，“这些数字，计算一下看看。”
孙兴利笑的更开心了。
他拉着张硕就往外走，明显有种迫不及待，“计算机结构实验室，超算组，他们实验室就有大型服务器。”
“他们和东港计算服务中心有合作，还能远程借用东港计算服务中心的算力。”
他走到门口还转头叫上了罗勇军，“老罗，一起去。有人马上要重走我的青春之路了……”
“多有意思！”
罗勇军没理会孙兴利，他走过来看向张硕，小声劝解道，“要不再考虑一下？用超算组的服务器是要花钱的，而且费用不低。”
“没关系。”
张硕不在意的摇了摇头，笑道，“找到第一个亿位素数，能拿到15万美元奖金。”
孙兴利认可的点头，“那时候，我也是这么想的！”
他说着满脸笑容，还高高的竖起了大拇指。