<b></b>而在这样的自然数中，如果一个数字大于1，且不能被其他自然数整除(除0以外)，那么这个数字被称为质数数，也叫做素数。
比1大，但不是素数的数称为合数，1和0比较特殊，既非素数也非合数。
早在两千五百年前，当时的人们就注意到了这一奇特的现象，而古希腊数学家几何之父欧几里得在他最着名的着作《几何原本》中提出了一个非常经典的证明。
即欧几里得证明了素数有无穷多个，并提出少量素数可写成“2^p-1”的形式，这里的指数p也是一个素数。
这个证明被称之为‘欧几里得素数定理’，是数论中一个最基本的经典命题。
经典永不过时，后续的数学家在研究‘欧几里得素数定理’时，衍生出来了各种各样针对素数的猜想。
从梅森素数猜想开始、到周氏猜测、孪生素数猜想、乌拉姆螺旋、吉尔布雷斯猜想到最终异常出名的哥德巴赫猜想等等。
有素数衍生出来的猜想繁多，但绝大部分都没有被证明。
徐川与阿图尔·阿维拉教授所聊的新梅森素数猜想，就是从素数中衍生出来的猜想，也叫做阿廷猜想，是最初的梅森素数猜想的升级版本。
在众多素数的猜想中，难度和孪生素数猜想相当，仅次于大名鼎鼎的‘哥德巴赫猜想’。
【新梅森素数猜想对于任何奇自然数p，若以下其中两句叙述成立，剩下的一句就会成立
一、p=(2^)±1或pp=(4^)±3
二、(2^p)-p1是质数（梅森质数）
三、[(2^p)+p1]/p3是质数（瓦格斯塔夫质数）】
新梅森素数猜想有三个问题，三个问题息息相关，如果能证明其中两个，那么剩下的一个会自然成立。
在科学发展史上，梅森素数的寻找在手算笔录年代曾作为检测人类智力发展的一项重要指标。
就像如今的iq测试题目一样，能计算出来越多的梅森素数则代表这个人越聪明。
因为梅森素数虽然貌似简单，但当指数p值较大时，它的探究不仅需要高深的理论和纯熟的技巧，还需要进行艰苦的计算。
最着名的，素有“数学上帝”之称的欧拉，在双目失明的情况下，靠心算证明了2^31-1是第8个梅森素数；
这个具有10位的素数（即2147483647），堪称当时世界上已知的最大素数。
普通人能加减乘除三位数的数字就很不错，但欧拉能心算将数字推到十亿级，这恐怖的计算能力、大脑反应能力和解题技巧可以说无愧于“天选之子”的美誉。
此外，13年的时候，美国中央密苏里大学数学家柯蒂斯-库珀领导的研究小组，通过参加一个名为“互联网梅森素数大搜索”（gip）的项目，发现了迄今为止最大的梅森素数——2^57885161-1（2的57885161次方减1）。
该素数也是目前已知的最大素数，有17425170位，比之前发现的梅森素数多了4457081位数。
如果用普通的十八号标准字体将其打印出来的话，它的长度能超过六十五公里。
这个数字虽然很大很大，但放到数学中来说，又很小很小。
因为‘数’是无穷的，数具有无穷大这个概念，放到数学上来说，在2^57885161-1（2的57885161次方减1）这个数字之后，到底还有多少素数谁也不知道。
这场持续了千年，数学史上规模最为宏大的探寻之旅梅森素数到底有多少个，是否是无穷的，截止到现在，依旧没人能给出答桉。
证明新梅森素数猜想，难度丝毫不亚于徐川之前证明过的ey-berry猜想。
截止到目前为止，数学界针对素数猜想证明的最高难度的也只不过弱歌德巴赫猜想。
即【任何一个大于7的奇数都能被表示成三个奇质数的和。】
2013年5月，巴黎高等师范学院研究员哈洛德·贺欧夫各特发表了两篇论文，宣布彻底证明了弱哥德巴赫猜想。
此外，同年，关于素数猜想的证明，华国的数学家张益唐教授也取得了相当大的进展。
他的论文《素数间的有界距离》在《数学年刊》上发表，破解了困扰数学界长达一个半世纪的难题，证明了孪生素猜想的弱化形势。