“素数是只含有两个因子的自然数。而孪生素数是指两个相差为2的素数,例如3和5,17和19等。孪生素数猜想是说,存在无穷对孪生素数。孪生素数的问题已经有约200年的历史。在1900年的国际数学家大会上,希尔伯特将孪生素数猜想列入了他那著名的23个数学问题。想了解这个问题的奇妙之处,需要大概了解素数的分布规律。”
“2000多年前,古希腊数学家欧几里德最先证明了素数在自然数中有无穷多个。这个证明是数学爱好者都很熟悉的,英国数学家哈代在他的《一个数学家的辨白》中也对这个证明津津乐道。随着数学慢慢发展,人们渐渐意识到素数在自然数的分布具有一定的规律。随着数量级的增大,素数的密度越来越小。例如,100以内有25个素数,占到25%,而100万以内的素数只有7.85%。尽管素数的分布越来越稀疏,但其稀疏程度却是可以度量的。”
“素数的分布律说明,素数在自然数中越来越稀疏,同时素数之间的距离——平均而言——会越来越远。因此,孪生素数猜想也就显得很越发奇妙。如果素数之间的距离真的越来越远,那么出现无穷对距离为2的素数就不是那么显然的事了。这似乎说明素数的分布是相当随机的,而不是近似均匀的扩散。这一结论与概率论中随时间推移,一维标准布朗运动的位置平均而言离0点越来越远,但却以概率1无穷次折回0点有着异曲同工之妙。素数的分布律与随机过程非常相似。然而,更为奇妙的是,素数的位置是完全是确定的,其本质上毫无随机性。”
乔布斯听的很仔细,问道:“素数的位置是完全确定的,毫无随机性,那么你刚才怎么又说素数的分布是相当随即的?”乔布斯本来就是极致的偏执狂,听着库伯介绍顿时来了兴趣,略一思索顿时疑窦大生。
这也是哥德巴赫猜想中遇到的问题,也就是为什么当时孔继道了解了刘猛在数论中提出的离散随即理论的确定性时认定这是解决问题的关键。
库伯不好意思摇摇头,“这个我就不清楚了,我只是把知道的情况记了下来,并没有完全理解,抱歉,乔布斯先生。”
乔布斯也不怪他,“哦,没关系,你继续说吧。”
“而这位神奇的刘猛先生就是证明了存在无穷多对素数,其差小于7000万。尽管7000万是个很大的数字,但如果结果成立,就是第一次有人正式证明存在无穷多组间距小于定值的素数对。既然素数之间的平均距离越来越远,那么存在无穷多组间距小于定值的素数对,与存在无穷多组间距为2的素数对(孪生素数猜想)是一样神奇的结论。值得一提,如果存在无穷多组间距小于定值的素数,那么,通过取子序列的办法,就可以得知至少存在一个数字C(小于7000万),使得无穷多组素数之间的间距恰巧为C。从7000万到2的距离相比于从无穷到7000万的距离来说是微不足道的。”
“我的数学家朋友说,如果刘猛的结果为正确的,那无疑是世界数学界的一大进展,其结果影响力甚至可能超过陈景润在哥德巴赫猜想方面所做的工作。而且意味着极有可能刘猛会解决哥德巴赫猜想。”
“既然发表出来了,那就证明是正确的吧,真是一个让人头疼的家伙。”乔布斯笑着说道。
“现代数学的新结果的验证往往需要很长的时间。因为所使用的新技巧,所涉及的专业知识往往都过于高深,以至于全世界只有一两位专家可以看懂。而证明又可能很长,有时竟长达上千页,很多数学家要慢慢挤出时间来看他人的证明。即使发表在顶级数学杂志的结果,也可能在某个时候发现有错。因此,包括我的那位数学家朋友,许多人也在怀疑刘猛的结果是否正确。”库伯解释道。
乔布斯听完之后一只手一直在敲击着桌面思索着,库伯知道这是乔布斯先生思索的习惯站在一边等着,一刻钟之后乔布斯忍不住问道:“既然我们绕不开刘猛设置的专利壁垒,那么就只能拿到他的授权了,如此一来对我们来说也并非不利,利用这些专利我们可以阻挡其他进入智能手机领域的厂家,呵呵,很多时候不利条件都能够转化成有利条件,就像华夏有句话说的那样,塞翁失马焉知非福。”
库伯就知道不管什么困难都难不倒伟大的乔布斯先生,笑着点了点头,实际上他心里早已想到乔布斯先生一定会有办法的,他只要把各种信息调查清楚就好了。
不过他随即又想到了另一种不利的条件,忍不住提醒道:“不过,乔布斯先生,现在刘猛与世隔绝一样,没有人知道他在哪里,我们要如何才能拿到他的授权呢,总不能一直等下去,如此一来我们也会失了先机的。”
这个问题让乔布斯也很头疼,突然他一下子从桌子上跳了起来翻来覆去找什么,库伯在一边看着,一脸的疑惑,乔布斯翻找了一会也找不到,急的团团转,又到后面的柜子中翻找着,一边找着一边嘴里念叨:“我知道这个刘猛是谁了,我记起来了,他确实找过我,而且还给我留了联系方式,这个年轻人很自信,当时就告诉我将来一定会用得到的,我只当他是哗众取宠,没想到竟是这样,该死的,我到底放在哪里了?”
库伯一听顿时傻眼了,没想到还有这种事。
乔布斯突然翻找着桌子上放着杂物的一个小盒子,总算是找出了一张纸条,很是欣喜叫道:“见鬼,我总算是找到了,幸亏当时没丢掉随手扔这儿了。”