在商国数学界乃至于科学界很多人都在关注巴赫猜想的时候，始作俑者叶明承则是依然按部就班的进行着自己的计划。

世界十二大数学难题，分别是：多项式时间完全问题，米德猜想，斯贝特猜想，莱曼假设，古尔理论，纳赫斯方程，bsd猜想，玛菲定理，四色问题，巴赫猜想，费马猜想，霍莱猜想。

这十二大数学难题，对于苍蓝星的数学家们而言是一座座难以攀登，乃至是高不可攀的绝峰。

但是对于拥有了十级数学知识的叶明承而言，这些数学难题算不多难，相反他脑子里的那些系统灌输的未解数学难题才是真的难啊！他没有任何头绪。

转眼间过去一个星期的时间，商国数学界的很多数学家们废寝忘食的对巴赫猜想的证明过程进行验算，一遍又一遍。

没错，没错，还是没错！无可挑剔！

当反复验算多次后，结果都显示巴赫猜想的证明过程没有问题，那么真相只有一个：困扰了全世界数学界百年的巴赫猜想，终于被证明了，而且还是商国人证明的！

整个数学界全部轰动了！

在激动兴奋的同时，很多人又开始追根溯源，想要找到证明巴赫猜想的人。

于是在很多人的多方打听寻找之下，深蓝星宇集团进入了无数人的眼中，而深蓝科学杂志和叶明承也进入了无数人的眼中。

而就在无数人注意到深蓝星宇集团和叶明承的时候，叶明承再次在深蓝数学杂志，刊登了孪生素数猜想和梅森素数猜想的证明过程。

孪生素数猜想和梅森素数猜想是仅次于十二大数学难题的数学猜想，数十年来无数的数学家们想要攻克这两种猜想，但是最后都黯然败退。

素数就是质数，也即一个大于1的自然数，除了1和它本身以外，不能被其他的自然数整除。

像2，3，5，7，11，13这些，就是质数，也是素数，2就是最小的素数。

由这样的例子，可以得出一个简单地结论，那就是大于2的两个相邻的素数之间，最小的间隔就是2。

例如5和7，11和13，17和19这样的就是孪生素数。

而孪生素数的猜想就是：存在无穷多个素数P，使得P 2也是素数。

········

何为梅森素数？

素数有无穷多个，而其中的一些素数可以写成2P-1的形式，这其中的指数P也是素数。经过百年无数的数学家不断研究归纳以后，最后商国的周海院士提出了梅森素数猜想。

就是当p2^(2^(n 1))时，Mp有2^(n 2)-n-2个是素数，其中p为素数，n为自然数，Mp为梅森数。