望着张伟送上来的梅森素数,这次是m30,402,457,换成“3”开头的了。
望着这个梅森素数,诸葛教授开口问道:“张伟,你父母是干什么的啊?”
“就是普通工薪阶层。”张伟有些警惕的望着诸葛学庚。
打听我家庭情况,难道真要把170大长腿皮肤白健美操闺女介绍给我?
诸葛教授却开口说道:“我还以为你家是卖梅森素数的呢!一周来送一次货是不?”
“这都是第三次了,您得养成习惯!”张伟笑着答道。
习惯?这是梅森素数,你以为是9块9咖啡优惠券?周周都能领一次!
“我说张伟啊,你是不是弄出了梅森素数的计算公式?跑我这儿验证来了?”诸葛教授好奇的问。
“我要有那个本事,直接给三大期刊寄论文了,还用得着跑来麻烦您嘛!”
“说的也是!”诸葛教授点了点头。
换成别人,说直接给三大期刊寄论文,诸葛学庚可能不信。
但眼前这位可是有前科的,绝对敢背着学校,私自去三大期刊发表论文。
又看了一眼纸条上的数字,诸葛教授开口道:“你要没事的话,就先去接待室坐一会,我去帮你联系超级计算机。”
“不得明天才能有结果么?”张伟开口问。
“现在不用等了,我们连续发布了两个梅森素数,已经引起了科技部的关注,上面的领导指示了超级计算机那边,如果我们要验证新的梅森素数,可以插队!”
第43个梅森素数刚过九百万位,对于超级计算机而言,验证一个九百万位的数字,并不需要花费太多的时间。
张伟看了几份报纸的功夫,诸葛教授便过来回复,第43個梅森素数验证成功!
又是五万美金到手了。
……
第43个梅森素数m30,402,457。
第44个梅森素数m32,582,657。
第45个梅森素数m37,156,667。
接下来的一周,张伟直接拿出了三个新的梅森素数。
要不是生鸡蛋吃多了有点不消化,张伟肯定还能再拿出几个梅森素数。
诸葛教授则完全麻木了。
别人一年多才能发现一个的梅森素数,你一周拿出来一个还不过瘾,现在改成一周三个了?
说你家是卖梅森素数的,还是小看你了,你这是搞批发的啊!
话说小伙子身板儿渐好啊,最近吃了汇仁肾宝了?一周一次改一周三次,交公粮频率增加了啊!
而对于全球的数学研究者而言,这是被清大数学系霸榜的一周。
每天早晨一觉醒来,先去查一查清大的数学系,有没有公布新的梅森素数。
清大的数学系也终于扬眉吐气了一次。
张伟这个名字,也走入了数学家们的视野当中。很多人甚至开始怀疑,这位清大的张伟教授,是不是掌握了什么超前的公式或者算法,可以精确的计算出梅森素数。
……
剑桥大学数学系,助教走进约翰-科茨的办公室,开口说道;“教授,这是第45个梅森素数。”
“还是那个清大张伟找到的?”约翰-科茨开口问。
“是的。他这周已经找到第三个梅森素数了,不知道还有没有第四个。”助手已经见怪不怪了。
“今天是周五,应该没有第四个了吧?中国人周末也是要休息的。”
约翰-科茨的表情显得有些疲惫,不知道是因为工作了一周很辛苦,还是因为一周三个梅森素数的疲劳轰炸。
从助手那里接过详细资料,约翰-科茨看了一眼:“第45个梅森素数有一千一百一十八万五千二百七十二位数,已经破千万了?计算机的算力能达到么?”
两周前张伟第一次公布梅森素数时,还是一个七百二十万位的数字,现在已经变成了一千一百万位。
要知道,每增加一位数,数字就要大十倍,计算难度也会几何倍的增加。
就比如你算十以内的加减法,基本是吐口而出,不需要思考;
一百以内的加减法,口算也可以,只是需要一点反应时间。
但一千以内的加减法,再口算的话,就要动一动脑子了。
而一万以内的加减法,靠口算?那还是算了吧。手机打开计算器,肯定更快一些。
从十到一万,只是增加三位数,我们的小脑瓜就已经转不过来来了。
增加四百万位数的计算,很多人都分不清楚增加了多少倍!
此前张伟公布第41个梅森素数时,约翰-科茨还认为,这只不过是中国人运气好,刚好用gimps算到了这个数字。
张伟公布第42个梅森素数时,约翰-科茨依旧在说服自己,是美国人的gimps系统强大,跟中国人没关系。
之后第43个梅森素数公布时,约翰-科茨就很难再用同样的理由说服自己了。
全球都在使用gimps,凭什么你连续找到三个梅森素数,别人都找不到?
全世界的电脑用的都是英特尔和amd的处理器,难道就伱的更快一些?
此前一年才能找到一个的梅森素数,你一周就能找到一个,从概率的角度讲,可以说概率为零。
约翰-科茨虽然有自己的主观臆断,但他毕竟是个数学家,还是相信概率的。
概率上不可能出现的事情竟然出现了,要么是概率算错了,要么就是计算模型用错了。
约翰-科茨还在琢磨到底哪里出了问题时,第44个和第45个梅森素数相继被找到。
依旧是清大数学系张伟发现的!
一周一个梅森素数,就已经超出约翰-科茨脑容量了,一周发现了三个梅森素数,约翰-科茨觉得,自己学了几十年的数学,是不是不存在了?
“去他妈的美国佬,去他妈的gimps!”约翰-科茨直接就爆了粗口。
约翰-科茨就是再傻,也意识到这跟美国的gimps系统没啥关系。
助教则小心翼翼的问道:“教授,中国人会不会用了超级计算机去寻找梅森素数?”
“没有人会用超级计算机做这么无聊的事情!”约翰-科茨开口道。
科学家可以使用超级计算机来验证一个数字是不是梅森素数,但绝对不会闲得蛋疼用超级计算机去寻找梅森素数。
验证和寻找,是两种完全不同的概念。验证的话,只需要针对一个数字即可,哪怕这个数字上千万位,也不会消耗太多的算力。
但寻找就不同了,要知道每增加一位数,就会增加十倍的数字,寻找的范围就增加了十倍!
一千万位数共有多少个数字,这已经超出了正常人对数字表述的极限,从这么多数字里找梅森素数,哪怕是用超级计算机,也承受不起这种算力。
换个角度讲,有这种算力的话,去计算点别的东西,肯定比找梅森素数要更具有价值。
“难道说中国人肯定掌握了一种新的算法!”
约翰-科茨皱着眉头想了想,可能性也不大。
主要还是那个原因,数字太大了。
数字越大,计算就越复杂。
就比如圆周率,计算到3.14很简单,中学生都能做到。
而计算到3.1415926,那就需要一些数学功底了。
如果要计算到小数点后上百位,那得是数学家才能做到。
同一种算法,越往后计算,难度便会几何倍的增加。
所以对于数学计算而言,即便是掌握了新算法,也不可能突破极度复杂运算的客观规律。
“如果不是新的算法,那肯定是一种神秘的巫术!”约翰-科茨自言自语道。
助教一脸震惊的望着约翰-科茨。
巫术?这个单词从一个世界顶级的数学家里冒出来?
难道说科学的尽头真的是玄学?
可这里是剑桥啊!是诞生过牛顿、达尔文、图灵、霍金的剑桥大学啊!
你一个数学家,在剑桥数学系提玄学,合适么?
牛顿的棺材板要压不住了!