一、p=(2^k)±1或 p=(4^k)±3

二、(2^p)- 1是质数（梅森质数）

三、[(2^p)+ 1]/ 3是质数（瓦格斯塔夫质数）】

新梅森素数猜想有三个问题，三个问题息息相关，如果能证明其中两个，那么剩下的一个会自然成立。

在科学发展史上，梅森素数的寻找在手算笔录年代曾作为检测人类智力发展的一项重要指标。

就像如今的iq测试题目一样，能计算出来越多的梅森素数则代表这个人越聪明。

因为梅森素数虽然貌似简单，但当指数p值较大时，它的探究不仅需要高深的理论和纯熟的技巧，还需要进行艰苦的计算。

最着名的，素有“数学上帝”之称的欧拉，在双目失明的情况下，靠心算证明了2^31-1是第8个梅森素数；

这个具有10位的素数（即2147483647），堪称当时世界上已知的最大素数。

普通人能加减乘除三位数的数字就很不错，但欧拉能心算将数字推到十亿级，这恐怖的计算能力、大脑反应能力和解题技巧可以说无愧于“天选之子”的美誉。

此外，13年的时候，美国中央密苏里大学数学家柯蒂斯-库珀领导的研究小组，通过参加一个名为“互联网梅森素数大搜索”（gimps）的项目，发现了迄今为止最大的梅森素数——2^57885161-1（2的57885161次方减1）。

该素数也是目前已知的最大素数，有17425170位，比之前发现的梅森素数多了4457081位数。

如果用普通的十八号标准字体将其打印出来的话，它的长度能超过六十五公里。

这个数字虽然很大很大，但放到数学中来说，又很小很小。

因为‘数’是无穷的，数具有无穷大这个概念，放到数学上来说，在2^57885161-1（2的57885161次方减1）这个数字之后，到底还有多少素数谁也不知道。

这场持续了千年，数学史上规模最为宏大的探寻之旅：梅森素数到底有多少个，是否是无穷的，截止到现在，依旧没人能给出答桉。

证明新梅森素数猜想，难度丝毫不亚于徐川之前证明过的weyl-berry猜想。

截止到目前为止，数学界针对素数猜想证明的最高难度的也只不过弱歌德巴赫猜想。

即：【任何一个大于7的奇数都能被表示成三个奇质数的和。】

2013年5月，巴黎高等师范学院研究员哈洛德·贺欧夫各特发表了两篇论文，宣布彻底证明了弱哥德巴赫猜想。

此外，同年，关于素数猜想的证明，华国的数学家张益唐教授也取得了相当大的进展。

他的论文《素数间的有界距离》在《数学年刊》上发表，破解了困扰数学界长达一个半世纪的难题，证明了孪生素猜想的弱化形势。

即：发现存在无穷多差小于7000万的素数对。

这是第一次有人证明存在无穷多组间距小于定值的素数对。

但对于数学界来说，无论是弱哥德巴赫猜想，还是弱孪生素数定理，都只不过是吹响攀登高峰的前奏而已。

它们就像是一名攀登珠峰的登山者在出发前的一首响亮国歌，能在一定程度上给与登山者勇气，但指望借此攀上珠峰站到峰顶并不现实。

........

“徐，你会尝试一下往数论方向发展吗？”