在弄明白周氏猜想的意义之前,必须先了解一个名词——梅森素数。
梅森素数是一种特殊的素数,它以十七世纪著名数学家马林·梅森的名字命名,由梅森数(常记作mp=2^p-1)而来,若梅森数是素数,则称之为梅森素数。
素数有无穷多个,但梅森素数目前只发现了51个,最新发现的第51个梅森素数最是2^82589933-1,共计有24862048位。
这个最大素数有多大?如果用四号字体打印出来,a4纸能排出超过100公里的长度来。
而梅森素数有多少个?是有限个还是无限个?这在数学界依然是未解之谜。
梅森素数除了数学家追求学术真理层面的意义外,还因为“将一个很大的数分解成若干素数的乘积非常困难,而将几个素数相乘却相对容易得多”而广泛应用于现代密码学中。
因为梅森素数、尤其是大素数的探究已超出了人类的计算能力范畴,必须借助计算机。而当连超级计算机都有些吃力时,又需要用到基于互联网的分布式计算技术。
这使得大素数的探索涉及到越来越多的学科,数学、计算机、程序编写、分布式网络架构……要求与难度越来越高。
每一次最新的大素数被发现,都会引起巨大的国际反响,其意义甚至不下于发现一种新元素。
所以世界各国都对梅森素数投入了大量的人力物力进行研究,这已不仅仅代表着该国的数学研究水平,也标志着一个国家的综合科技能力是否走在世界前列。
夏国自然也不会例外,为了追赶国际先进水平,大批的夏国数学家前仆后继地投入到对梅森素数的研究当中,其中数学家、语言学家周老先生取得的学术成果最为耀眼。
他在二十年前,综合运用联系观察法和不完全归纳法,提出来了一个有关梅森素数分布的重要猜想,这个猜想受到了国际数学界的重视,将之命名为“周氏猜想”。
当2^(2^n)小于p小于2^(2^(n+1))时,mp有2^(n+1)-1个是素数(注:p为素数;n为自然数;mp为梅森数)。
这就是周氏猜想的数学表达式,也是国际数学界有关梅森素数的分布研究中,最具数学美感、最精确的表达式。
连同周老先生本人在内,国际上不少数学家都试图证明这个“周氏猜想”,想将之变成“周氏定理”,这将会对梅森素数的研究产生极大的推动作用。
可惜时至今日,仍没有人能成功将之证明。
周氏猜想依然是猜想,它就像是悬挂在数学殿堂上的夜明珠,等候着真正的数学天才来将它采摘。
所以听到宁青筠居然有证明周氏猜想的思路时,秦克忍不住一下子从床上弹跳了起来。
这……这也太令人惊喜了!
要知道这可是周氏猜想啊!哪怕只是想到证明思路,也非常了不起了。
而且秦克很了解自己家小白菜,如果没五成以上的把握,她是不会说出来的。
有了思路,就像有了正确的方向,将之证明出来只是迟早的事!
秦克忙继续看下去。
小青竹要长高高:“等中午时我再视频和你细说,具体的思路我已抽空写出来大半了,待会的高等代数课上我应该就能写完,希望能给你启发,让你再多证明一个世界级的猜想!”
秦克心中一阵感动。
这个傻丫头……要证明也算是我们俩一起证明的啊,思路这东西很关键的,你知不知道?
不过要到中午啊……
夏国的中午,就是他这里的凌晨,秦克看看时间,还有两三个小时呢。
这漫长的等待让秦克心里像有只猫挠似的,不久前王老院士才说希望他能将周氏猜想也证明出来,现在宁青筠就说有思路了,让秦克隐隐有种命中注定的感觉。
当然,秦克并不是想要贪图这份荣耀,毕竟周氏猜想在国际数学界的价值与意义都不及孪生素数猜想。
但只要想到能与宁青筠一起证明出周氏猜想,论文同时署名,两人的名字并列出现在国际数学界里,秦克便控制不住地心头火热。
宁青筠说想一直当他的第二名,永伴他的身边,秦克想得更远些。
他希望能拉着这个心爱女孩的小手,一起看遍科学界里最美丽的风景,一起站到让世人仰望的高度,一起名垂青史!
秦克深吸口气,平复心情,重新躺回床上,再次打开了宁青筠与自己的合照。
照片里的单马尾少女有些害羞地搂住他的手臂,小脸绯红,样子说不出的清纯可爱。
说来已有三天没见到小白菜了,这时宁青筠应该坐在课室里,认认真真地准备上课吧?
秦克用手指轻轻抚摸着宁青筠的照片,明明只是三天没见,堆积在心里的思念却像是要满溢出来一样。
这两年来秦克早习惯了身边有个单马尾少女的存在,不管任何时候回头,都能看到她羞涩而温柔的目光。
此时秦克独处在空荡荡的旅馆房间里,那种空空洞洞、又像是遗失了什么重要的东西的感觉份外明显。
忽然手机震了震,又收到了新的消息。
小青竹长高高:“马上就要上课了,这节是崔教授的高等代数课,我和燕菲、小蕙、嘉楠坐在一起。今天这边又下雪了,不知道你那边是否也一样的雪花飘飘?还有……”
等了两秒。
小青竹长高高:“我想你了。”