# F2 B/ }0 \& ^' v+ S 素数也叫质数,是在大于1的整数中只能被1和其自身整除的数(如2、3、5、7等等),素数有无穷多个。而形如“2的P次方减1” (其中指数P为素数)的素数称为梅森素数,以17世纪法国著名数学家、法兰西科学院的奠基人梅森的名字命名。梅森素数是数论研究的一项重要内容,也是当今科学探索的热点和难点之一。 ; i. m- }. H" F8 g' Y; |6 X( z3 w/ F/ \, }0 Y
早在公元前300多年,古希腊数学大师欧几里得就开创了探寻“2的P次方减1”型素数的先河。他在《几何原本》这一经典著作中论述完全数时曾研究过这种特殊的素数。由于梅森素数有许多独特的性质和无穷的魅力,千百年来一直吸引着众多的数学家,如费马、笛卡尔、莱布尼兹、哥德巴赫、欧拉、高斯、哈代、图灵等和无数的业余数学爱好者对它进行研究和探寻。2300多年来,人类仅发现47个梅森素数。由于这种素数珍奇而迷人,因此被人们誉为“数学珍宝”。9 f+ ^) y% ?2 _( U
" a2 |/ p$ i# n0 x0 L; c
梅森素数的研究难度极大,它不仅需要高深的理论和纯熟的技巧,而且需要进行艰苦的计算。1772年,被誉为“数学英雄”的欧拉在双目失明的情况下,以惊人的毅力靠心算证明了“2的31次方减1”是第8个梅森素数,该素数有10位数(即2147483647),堪称当时世界上已知的最大素数。; e- j( `9 E( G5 }8 B
4 q% @1 Z* l% C 梅森素数的探究不仅极富挑战性,而且对研究者来说有一种巨大的自豪感。1963年9月6日晚上8点,当第23个梅森素数“2的11213次方减1”通过大型计算机被找到时,美国广播公司(ABC)中断了正常的节目播放,在第一时间发布了这一重要消息。发现这一素数的美国伊利诺伊大学数学系全体师生感到无比骄傲,为让全世界都分享这一成果,以至把所有从系里发出的信封都盖上了“2的11213次方减1是个素数”的邮戳。 * q( C: b' f" g N 3 r+ @. v) A, ` C 特别值得一提的是,中国数学家和语言学家周海中经过多年的研究,于1992年首先给出了梅森素数分布的精确表达式,为人们探究梅森素数提供了方便。后来这一重要成果被国际上命名为“周氏猜测”。 0 G0 h. @4 p7 f
4 ^1 T- ~( O: i 网格技术来助力
8 g. ?5 U) b" n. ]! u, s% z, w
网格(Grid)这一崭新技术的出现使梅森素数的探究如虎添翼。1996年初美国数学家及程序设计师乔治·沃特曼编制了一个梅森素数计算程序,并把它放在网页上供数学家和业余数学爱好者免费使用。这就是著名的GIMPS项目。该项目采取网格计算方式,利用大量普通计算机的闲置时间来获得相当于超级计算机的运算能力。现在只要人们去GIMPS的主页下载那个免费程序,就可以立即参加GIMPS项目来寻找梅森素数。 ! u! B8 O I7 ]$ ~6 C
0 ^8 F- ^% S/ j+ L# w4 E
为了激励人们寻找梅森素数和促进网格技术发展,设在美国的电子新领域基金会(EFF)于1999年3月向全世界宣布了为通过GIMPS项目来寻找新的更大的梅森素数而设立的奖金。它规定向第一个找到超过1000万位数的个人或机构颁发10万美元。后面的奖金依次为:超过1亿位数,15万美元;超过10亿位数,25万美元。其实,绝大多数研究者参与该项目并不是为了金钱,而是出于乐趣、荣誉感和探索精神。8 c7 w# t# h( O" \9 N+ g( o2 L, W
$ P% J1 P, u- o5 Y, ^. w' y 去年8月,美国科学家埃德森·史密斯发现了第46个梅森素数“2的43112609次方减1”,该素数有12978189位,它是目前已知的最大素数。史密斯是第一个发现超过1000万位的梅森素数的人,他获得了EFF颁发的10万美元大奖。去年底这一重大发现被著名的美国《时代》周刊评为“2008年度50项最佳发明”之一。 & z5 E* _' y2 t3 n( K* L9 z 7 [5 X9 ?" `& e4 s, Z 13年来,人们通过GIMPS项目找到了13个梅森素数,其发现者来自美国、英国、法国、德国、加拿大和挪威。目前世界上已有170多个国家和地区近18万人参加了这一项目,并动用了37万多台计算机联网来进行网格计算,以寻找新的梅森素数。该项目的计算能力已超过当今世界上任何一台最先进的超级矢量计算机的计算能力,运算速度超过每秒400万亿次。 J1 M @7 z( m" ^- H
6 f7 D$ [" u) {) R4 n 梅森素数的意义
+ m9 v8 F, k, q
梅森素数在当代具有十分丰富的理论意义和实用价值。它是发现已知最大素数的最有效途径,它的探究推动了数学皇后——数论的研究,促进了计算技术、程序设计技术、密码技术的发展以及快速傅立叶变换的应用。 2 S }6 v I1 d3 w# T! @/ K+ c! p/ Q; N
梅森素数的探究同时促进了网格技术的发展,而网格技术将是一项应用非常广阔、前景十分诱人的技术。另外,探究梅森素数的方法还可用来测试计算机硬件运算是否正确。 : S% a. c; g5 c & ^) ~7 _& F+ M1 y d7 J
由于梅森素数的探究需要多种学科和技术的支持,所以,许多科学家认为,梅森素数的研究成果,在一定程度上反映了一个国家的科技水平。英国顶尖科学家马科斯· 索托伊甚至认为它是标志科学发展的里程碑。 8 L+ @. O" i3 L- x7 x j ) Q' N$ e% v- s- p% ~6 T& O' ~/ j' O5 f9 N9 o6 |9 W5 c