第146章 梅森素数周氏猜想（2 / 2）

这几年，连搭梯子的人都不见了，我也到了看到果子的时候了，想试一下。”

柳丽彤莞尔一笑：“这果子可不是长得高一点点那么简单，树太高，如果非说有多高，大概用美国红杉的高度来比喻比较恰当，说不定是个杂交品种。”

“杂交……”周戎突然没来由的有了些灵感，冲出卫生间，抓起纸笔就开始演算……

2、3、5、7、11、13、17、19、23、29、31、37、41...

笔在纸上飞速的响起沙沙声，周戎逐渐变的忘我。

公元前300多年，古希腊数学家欧几里得就开创了研究2'-1的先河，他在名着《几何原本》第九章中论述完美数时指出:如果2p-1是素数，则2p-1(2-1)是完美素数。

梅森于1644年在他的《物理数学随感》一书中断言:对于p=2，3，5，7，13，17，19，31，67，127，257时，2p-1是素数;而对于其他所有小于257的数时，2-1是合数。可以说，梅森的工作是素数研究的一个转折点和里程碑。由于梅森学识渊博，才华横溢，为人热情以及最早系统而深入地研究2“-1型的数，为了纪念他，数学界就把这种数称为“梅森数\";并以p记之。

1772年，瑞士数学家欧拉在双目失明的情况下，靠心算证明了31是一个素数，它共有10位数，堪称当时世界上已知的最大素数。欧拉的毅力与技巧都令人赞叹不已，他因此获得了\"数学英雄”的美誉。这是寻找已知最大素数的先声。欧拉还证明了欧几里得关于完美数的定理的逆定理，即:每个偶完美数都具有形式2p-1(2p-1)，其中2p-1是素数。

100年后，法国数学家鲁卡斯提出了一个用来判别p是否是素数的重要定理--鲁卡斯定理。

1903年，在美国数学学会的大会上，数学家柯尔作了一个一言不发的报告，他在黑板上先算出267-1，接着又算出x，两个结果相同。这时全场观众站了起来为他热烈鼓掌，这在美国数学学会开会的历史上是绝无仅有的一次。他第一个否定了\"67为素数”这一自梅森断言以来一直被人们相信的结论。这短短几分钟的报告却花了柯尔3年的全部星期天。1922年，数学家克莱契克进一步验证了257并不是素数，而是合数。

1952年，数学家鲁滨逊等人将鲁卡斯-雷默方法编译成计算机程序，使用SwAc型计算机在短短几小时之内，就找到了5个梅森素数:521、607、1279、2203和2281。

其后，3217在1957年被黎塞尔证明是素数;4253和4423在1961年被赫维慈证明是素数，1963年，美国数学家吉里斯证明9689和9941是素数。1963年第23个梅森素数通过大型计算机被找到。

随着素数p值的增大，每一个梅森素数p的产生都艰辛无比；美国克雷研究公司的计算机专家史洛温斯基和纳尔逊宣布他们找到第26个梅森素数，之后，这位计算机专家乘胜前进，使用经过改进的cRAY-xp型计算机在1983年至1985年间找到了3个梅森素数:、和。

1988年，科尔魁特和韦尔什使用NEc-Fx2型超高速并行计算机果然捕捉到了一条“漏网之鱼”--；1992年3月25日，英国原子能技术权威机构-一哈威尔实验室的一个研究小组宣布他们找到了新的梅森素数。1994年1月14日，史洛温斯基和盖奇为其公司再次夺回发现“已知最大素数\"的桂冠--这一素数是。而下一个梅森素数仍是他们的成果。这一素数是使用cRAY-794超级计算机在1996年取得的。

2004年5月15日，美国国家海洋和大气局顾问、数学爱好者乔希·芬德利(josh Fdley)用一台装有2.4GhZ奔腾处理器的个人计算机，找到了目前世界上已知最大的梅森素数。该素数为2的次方减1(即-1)，它有位数，如果用普通字号将这个数字连续写下来，它的长度可达3万米!

周戎自然不是在寻找下一个素数，而是证明中国数学家与语言学家周海中经过多年研究,在1992年首先给出了梅森素数分布的精确表达式。

柳丽彤的话点燃了他的瞬间灵感，他联想到了吴老二的根语言，那种从未见过的逻辑语言，这给了他极大的启发。

时间一分一秒的过去，无线的素数，复杂的算式，在周戎的笔下逐渐收束，变得简洁。

突然……

周戎停下了笔，周戎思虑了良久，写下了几行连他自己都不完全明白的符号，这是给他启发的吴老二的根目录语言种的几个表达式。

“你不会……真的证出来了吧？”柳丽彤试探着问道，书桌上不知什么时候放了一盒豆花和一盘包子。