式数据库中奥多文明关于数学的理解也说不定。
回到住处后，周晨将这件事跟杨曦说了一下，然后静下心开始努力钻研起来了。
首先是找资料，了解什么是素数问题、目前数学界的进展到哪种程度了，站在前辈的肩膀上看问题，总好过自己什么都不知道的瞎鼓弄，也可以少走许多弯路。
找完资料后便是参详前人的经验，然后在他们的基础上总结升华。
杨曦见周晨一副认真的样子，抿了抿嘴，安静地坐在了他旁边。
……
所谓的素数问题其实主要指的是孪生素数猜想、哥德巴赫猜想和黎曼猜想，这三个猜想都是世界级的难度。其中最简单最基础的可能就是孪生素数猜想了。
这三个猜想的核心都是素数，那么什么叫素数？素数又称质数，是指大于1的自然数中只能被1和自身整除的数，比如：2、3、5、7、11、13、17……
孪生素数猜想最早起源自1849年法国数学家阿尔方·德·波利尼亚克提出的一个一般猜想：对任意一个自然数k来说，都存在无穷多个p是素数，同时p+2k也是素数的情况。
而孪生素数猜想就是当k等于1时的情况，也就是说自然界中存在无穷多个素数p，使得p+2也是素数，这里的素数对（p，p+2）就是孪生素数。
最简单的其实是11与13，这就是一对，但孪生素数猜想要求证明存在无数个（p，p+2）这样的素数对。
由于孪生素数猜想的高知名度以及它与“哥德巴赫猜想”的联系，因此不断有数学爱好者想要试图证明它。有些人声称已经证明了孪生素数猜想，然而到目前为止还没有出现能够通过专业数学工作者审视的证明。
想要证明孪生素数猜想，确实是一个挺难的工作，素数定理说明了素数在趋于无穷大时变得稀少的趋势，而孪生素数，与素数一样，也有相同的趋势，并且这种趋势比素数更为明显。
在孪生素数的研究历史上，数学家们前赴后继，直到2013年5月，张益唐在孪生素数研究方面取得了突破性的进展，他证明了孪生素数猜想的一个弱化形式。在研究中，张益唐在不依赖未经证明推论的前提下，证明了“存在无穷多个之差小于7000万的素数对”，这一研究随即被认为在孪生素数猜想这一终极数论问题上取得了重大突破。
尽管间隔2与间隔7000万是一段很大的距离，但《Nature》报道还是称其为一个“重要的里程碑”。
张益唐的论文于5月14日在网络上公开，5月21日正式发表；可是就在5月28日，这个常数就被下降到了6000万，然后仅仅过了两天也就是5月31日，这个数字又下降到了4200万，又过了三天，6月2日，则是1300万；次日，500万；6月5日，40万。
人们不断地改进张益唐的证明，进一步拉近了与最终解决孪生素数猜想的距离。就在2014年2月，张益唐的7000万已经被缩小到了246，即已经证明了存在无数多个（p，p+246）这样的素数对。
这似乎离2这个最终解决孪生素数猜想的距离越来越近了由于有了张益唐的突出贡献，所以孪生素数猜想已经变成三大素数猜想中最有可能被证明的猜想。
至于哥德巴赫猜想，也叫“1+1”猜想，难度比孪生素数猜想要高，与费马猜想（费马大定理）、四色猜想（四色定理）合称世界三大数学猜想。其中费马大定理和四色猜想分别被英国数学家怀尔斯教授在1995年和中国独立学者邓润华在2015年证明。
哥德巴赫猜想的源头是，1742年6