在明确了要通过m、m和m这3个梅森素数搞钱之后,林枫很快就开始了行动。
当然,行动之前林枫还是要保证一些大前提成立,首先发报酬的部门得是存在的。
不然林枫“辛辛苦苦”搞出这么几个梅森素数,没人给林枫发酬劳岂不是纯纯浪费感情。
谷歌了一下,林枫发现在重生之后,电子新领域基金会依然是存在的。
而且该时空下,这个基金会同样是设立了专项奖金悬赏符合条件的梅森素数发现者。
而且悬赏金还要更丰厚一些,对于找到新的梅森素数的人一概发放10万美元的奖励。
而对于那些找到超过1000万位数的人更是额外还会发放15万美元的奖励。
最关键的是这种奖励收入完全不需要缴税。
好家伙,这样的规则让林枫喜不自胜啊。
因为林枫所知道的m、m和m这3组数都在一千万位以上。
虽然m、m和m这三组数看起来很简练的,但也仅仅只是看起来简练而已。
拿m来说,这个表达的是2的次方减去1。
这样的数真要算出来以纯数字的形式表达,估计纯纯就写一个这个数,轻轻松松就得1000万字。
对于这样的数,只能用四个字来形容——“天文数字”。
而掌握有3个千万位以上的梅森素数,岂不是意味着林枫将有机会直接通过这三个数字获得75万美元的报酬?
说实话,这个报酬可比前世搞梅森素数的报酬要高。
不过想想也实属正常,反倒是这个时空发掘梅森素数的报酬更合理一些,而前世区区十万美元的报酬属实是有点少了。
10万美元的报酬还嫌少?
只能说在商言商,屁股决定脑袋,代入到数学工作者的视角来看,如果发现梅森素数只是十万美元的报酬,那还真不算多。
要知道不同于网上那种挖比特币那种有套路可言——能靠着特定的公式并且一个区块一个区块地来定向挖掘。
在探寻梅森素数的时候可是没有捷径,基本上就是穷举法然后挨个验证。
这样简单粗暴的方式注定了发现一个新的梅森素数是要耗费计算资源的。
而且这耗费的计算资源不是一点半点,而是耗费海量的计算资源。
前世在发掘梅森素数时,世界上有近两百个国家和地区近三十万人动用近百万台计算机联网来寻找梅森素数。
想象一下,近百万台计算机以分布式进行组网之后的计算能力。
毫无疑问这样的计算能力已超过很多被称为世界最先进的超级矢量计算机。
仅从人力、物力、计算力方面来说,寻找一个梅森素数所动用的资源往往是十分巨大的。
因此,虽然提交一个梅森素数会获得25万美元的奖励。
但25万美元比起提前发现一个梅森素数所能节省的各种资源来说还真不算什么的。
其实如果是站在其余行业的角度来看,是很难理解为什么这些人耗费大量资源疯狂的追寻梅森素数并且如同收藏家收集藏品一般的去收集新的梅森素数的。
但数学业内人士却不这么看。
在业内人士看来,梅森素数有很多特殊意义。
在数学家看来,梅森素数定义虽然简单,但却神秘莫测。
梅森素数在数学中有着重要的地位,伴随着梅森素数往往是很多奇妙的规律。
前世截至2022年10月,GImpS项目共发现的17个梅森素数,
有一个有趣的巧合,这里面有15个是各自发现时已知最大的素数。
也就是说很多时候新发现的梅森素数同时也刚好是问世最大的素数。
因此寻找新的梅森素数的历程某种程度上也可以等同于寻找新的最大素数的历程。
在这种巧合之下,数学家们认为,寻找梅森素数,推动了“数学皇后”——数论的研究。
而数论研究又能促进了密码技术、网络技术和程序设计技术的发展。
在数学界往往存在着这样的基本共识:
——数论是最纯粹的数学、数论才是数学的初心。
在这样的共识存在的情况下,对素数的研究就成为了数学界的“政治正确”。
而梅森素数与数论割不断的关系。
也使得探索梅森素数天然就拥有很强的使命感。
更有一些数学家还认为解决梅森素数猜想的过程中,可能诞生新学科、新数学思想方法。
此外梅森素数发掘的进展,也被认为是一个国家计算机的发展程度和功能的先进性的标志。
数论问题中有许多关于素数的问题,在吸引人们去探索的同时,又在磨砺着人类的智慧。
英国顶尖科学家马科斯·索托伊甚至认为,梅森素数的研究进展,标志着科学发展的里程碑。
值得一提的是,在探索梅森素数奥秘的一众科学家中,我国数学家、语言学家周海中是梅森素数方面研究的领先者。
周老先生运用联系观察法和不完全归纳法,于1992年2月首次给出了梅森素数分布的精确表达式,为人们寻找这一素数提供了方便。
后来,这一重要成果被国际上命名为“周氏猜测”。
国际着名科普杂志《科学美国人(中文版)》2000年第6期刊登的一篇评论文章指出,“周氏猜测”是梅森素数研究中的一项重大突破。
美籍挪威数论大师、菲尔茨奖和沃尔夫奖得主阿特勒·塞尔伯格认为:“‘周氏猜测’具有创新性,开创了富于启发性的新方法,其创新性还表现在揭示新的规律上。”
为什么要登山?
因为山就在那里。
同样的道理,为什么要追寻梅森素数的发掘?
也是因为同样的理由。
无论去不去刻意发掘,更大的梅森素数也注定是存在的。
套用国际着名数学家希尔伯特说的话:“我们必须知道,我们必将知道。”
寻找梅森素数的大道,就是一条不断追寻真理发掘真相的必然之路。
不过林枫没想这么多高大上的东西。
对于林枫来说这些都不重要了,现在林枫满脑子搞钱搞钱还得是搞钱。
只有不为物质发愁的情况下,才能谈星辰大海。
话说回来,一个梅森素数如此麻烦,那么就算林枫提出了一个数是梅森素数,那么会不会验证起来也很麻烦呢?
如果真要验证一个梅森素数也要用时很长,那林枫岂不是想要通过梅森素数搞快钱的思路要崩溃了?
非也,虽然发现一个梅森素数很麻烦。
但如果对于给定的一个数,验证其是不是梅森素数从理论上出发还是要相对简单的。
验证一个数是否为梅森素数一般是有套路的。
首先判断该数是否为素数。
素数是只能被1和它本身整除的正整数,有多种方法可以判断一个数是否为素数,比如试除法、欧拉判别法、费马小定理等。
如果该数是素数,再判断是否满足梅森素数的定义。
判断是否可以表示为2^p-1的形式,其中p是一个素数。
为了判断一个数是否可以表示为2^p-1的形式,可以使用卢卡斯-莱默检验法。
这是一种特殊的测试方法,适用于梅森素数的验证。
呃,好像看起来也不容易的。
不过上述步骤都是用最新的计算机网络来实现。
何况还是用一个超级分布式计算网络来进行验证的。
验证起来并不会很麻烦。
虽然理论上用m、m和m这3组数可以换得75万美元。
但出于稳妥起见,实际执行的时候,林枫也不至于说是一下子就拿出三个来。
从过往发现梅森素数的进度来看:
m(即2^-1),前世于2016年1月被发现。
m(即2^-1),前世于2017年12月被发现。
m(即2^-1),前世于2018年12月被发现。
这玩意正常发现速度是一年发现一个。
甚至在m后好多年都没发现一个。
因此,一下子搞出3个梅森素数显然看起来不是很合理。
从合理性考虑,林枫感觉还是一次性拿出一个是最合适的。
但短时间内,林枫还是对资金很犯愁的。
权衡了一下,林枫决定还是拿出两个最合适。
当然,怎么拿出来也是有策略的,如果加入GImpS中进行提交的话。
林枫感觉很可能提出的数据会石沉大海,毕竟在GImpS项目中每天都会有海量的新的“梅森素数”被宣称搞了出来,这种情况下林枫就是提出来新的,核验优先级也不会很高。
想了想,林枫干脆决定把事情公开化,充分利用现在自己的身份来搞事情。
在刚才进一步融合记忆之后,林枫注意到原身还有个实名认证的推特账户,虽然并没有什么推文,但身份认证却是普林斯顿大学数学系在读博士。
这刚好符合林枫的需要。
林枫干脆用这个账号就发布这样一条简短推文:
“我发现了两个新的梅森素数:2^-1和2^-1。”
并同时艾特了相关单位。
肯定得艾特GImpS项目组以及漂亮国电子新领域基金会,毕竟这些是发报酬的机构。
还得艾特普林斯顿数学系官推,毕竟要扯虎皮做大旗。
此外林枫还艾特了加州大学洛杉矶分校。
在林枫印象中,加州大学洛杉矶分校对梅森素数的研究挺感兴趣的。
首个超过1000万位的梅森素数就是由该校的计算机专家埃德森·史密斯发现的。
这个梅森素数有位数,如果用普通字号将这个超大素数连续打印下来,它的长度可超过50公里!
这一成就还被美国的《时代》杂志评为当年“50项最佳发明”之一,排名在第29位。
发现者史密斯当然也赢得了由电子新领域基金会颁发的大奖。
此外,林枫还艾特了美国中央密苏里大学数学教授柯蒂斯·库珀,这是之前一个梅森素数的发现者。
其实艾特柯蒂斯·库珀之后林枫是有点后悔的,这纯属手滑艾特错了。
毕竟按照历史进度,新的m这个梅森素数也是此人发现的。
而林枫这个举动颇有种夫目.前犯的感觉?
呃,不过都已经发出推文了,林枫也没有再撤回的道理。
就像微博上总是有很多喜欢键证的人一样。
推特上也有很多云数学家,这些人对于一些高大上的数学知识望而却步。
但对于数论这种看上去我上我也行的数学内容总会重拳出击。
林枫这条推文才发出去没多久,就引来了很多阴阳怪气的评论。
“……普林斯顿在读博士?真的假的。”
“普林斯顿的博士期间还是太清闲啊,还有时间搞点梅森素数当副业?”
“高手,高手!不愧是普林斯顿数学系大佬,一次就发现两个梅森素数?”
“一次发现一个梅森素数我还勉强将信将疑?一次发现两个梅森素数,恕我直言,我一个都不信,除非你是刚从未来穿越回来。”
“兄弟,这年头连发现梅森素数都这么卷了吗?一次两个?你确定你这两个都对?还艾特了一堆人,真是把自家底裤给亮出来了。”
“……”
林枫看着这些阴阳怪气的评论,无动于衷。
对于一个常年在微博贴吧跟水友“友好互动”的人来说,这种程度的嘴炮,段位太低,林枫理都懒得理。
反之,林枫还挺开心的。
有这些人从这嘴炮,热度一会就起来。
热度发酵起来后,估计要不了多久就会被GImpS和电子新领域基金会注意到。
林枫只感觉五十万美元已经在向自己招手了。
事实也印证了林枫的猜测。