我一心科研，你却想骗我谈恋爱？ 第94节

　　许青舟两个男人在外边的椅子上坐著。

　　许守云见王霞萍她们还要一会儿时间，问：“伱和小瑶是在耍朋友了？”

　　“我俩就是朋友。”许青舟否认，目前为止，他们俩清清白白好吧，谈恋爱得被管著，能有搞科研有趣吗。

　　许守云笑著摇头，“都说时代在进步，你们这些年轻人怎么还没我们胆大，喜欢就去追，拿什么朋友做借口。”

　　说著，老许看了一眼店子中正在挑选帽子的两个人：“你妈挺喜欢小瑶的，这两天笑都没停过，说句实话，我也觉得小瑶不错，但我和你妈不一样，觉得你们一定要怎么样。毕竟，感情这东西，还是要你们自己处。”

　　自家儿女谈恋爱，做家长的担心的无非就是俩人合不合适。

　　这个合不合适是多方面的，诸如性格啊，三观啊，原生家庭之类的，在他看来长相倒还是其次。

　　宋瑶，老宋家闺女，家庭就不用说了，大家都知根知底。性格也不错，温温柔柔，俩人都是一个学校，三观学识之类自然也能一致。

　　如果真要提长相.老许往往就会产生一种不真实感——自家养的猪居然真能够拱到这么好的白菜？

　　脑海中思衬著，老许想到一件更重要的事情，面色一凝，道：“但是.你们现在都是成年人了，该懂的都懂，得注意”

　　“爸，咱能不提这些吗？”许青舟黑著脸，再说下去，就得到套的事情了，但他们现在真没什么情况啊！

　　“得说，这就是正事，你们”

　　“爸。”许青舟严肃说道：“这些东西，我真的比你懂。”

　　“.”

　　“.”

　　计划赶不上变化，直到下午3点半，一行人都还在什刹海后海的大藏龙华寺，天坛是去不成了。

　　下午四点，在许青舟的强烈要求，以及老许的复议下，逛得正欢乐的王霞萍和宋瑶俩人终于答应，先去吃饭。

　　于是许青舟带著四人去南锣鼓巷附近找了一家馆子。

　　吃完饭，大家就近去了南锣鼓巷。

　　夜幕降临，南锣鼓巷更加热闹，灯笼发出橘黄色的灯火，人来人往，繁华尽显，又能够感受到独特的京都气息。

　　许青舟和宋瑶两个是第二次来，但这次毕竟有王霞萍他们在，尤其是还是晚上，在这种具有京都特色的商业街里，体验感还是很好的。

　　周日就这样过去。

　　第二天，宋瑶上午有课，就许青舟一个人把许守云和王霞萍两个人送上飞机，让他们打开5天甜蜜的二人旅行。

　　望著老许和老妈进入安检口，许青舟也转身离开，在机场门口耗费几十块巨款，打车回到学校，沉入到复杂而艰难的计算中。

　　12月22号。

　　超算中心的工作站。

　　计算机运行pn模型，正在快速生成素数并进行处理。

　　【def plot_prime_gaps(n_max):

　　primes = generate_primes_until(n_max)

　　plt.xlabel(“Log^2(p_n)“)

　　n_max = 1000000000000#

　　plot_prime_gaps(n_max)】

　　“len(primes)< 2，代入计算的话.“

　　许青舟深吸了一口气，抓出一张稿纸进行计算。

　　10分钟过后，死死盯著桌上的计算计算，许青舟猛地从椅子上站起来，面色激动：“这样计算下去.（pn+1 -p n）/（lnp n）^2 =1。”

　　“所以，克拉梅尔猜想是成立的！”

第128章 证明克拉梅尔猜想

　　许青舟深吸了口气，定眼看向电脑屏幕，从中午到现在，他已经进行了三次模拟计算，运算结果没问题，而自己在手稿上的推算也没问题。

　　至此，超算的作用已经发挥完了，剩下，就需要借助数学工具进行下一步运算！

　　没浪费时间，记好笔记，把数据拷在硬盘里，许青舟直接收拾好东西，在超算中心附近找了间空教室。

　　值班的地方。

　　贾宇林抬头，看了一眼匆匆而去的背影，“老黄，刚才过去的那个是不是许青舟？”

　　“对，是他。”黄鸣泰点头。

　　“年轻人怎么都风风火火的？”贾宇林摇头。

　　“谁知道这些学数学的，比我们计算机专业的学生疯多了。”黄鸣泰停下手头工作，刚好休息一下，和同事聊闲天：“你知道他在研究什么吗？”

　　“好像是个什么猜想吧。”贾宇林不确定。

　　“克拉梅尔猜想，就是那个快一百年没解决的问题。”

　　“年轻人啊，又犯了少不更事的毛病。”

　　“话不能这么说，有梦想总是好的，人家现在可是两篇sci哦，还是大一发表的。而且，顾教授也很看中。”

　　“你这么一说好像还真是，大一啊，我这个时候还想著怎么追女朋友。”

　　许青舟急匆匆地走进教室，把手稿摆出来，开始做最后的验算。

　　他没注意到，教室后排，是上次的三个女生。

　　她们看著像疯了一样跑进来的许青舟，相视一眼，心有灵犀，纷纷拿起手机，在群里讨论起来。

　　Rhea：“又是这个男生，比上次还夸张，这严肃著急的表情，不知道的还以为外星人攻打地球了呢。”

　　左边齐刘海女生偷偷看了许青舟一眼，打字：“你看他拿出来的一大堆手稿，上面全都是复杂的数学公式，我觉得还挺帅的。”

　　Rhea：“确实还行，眉清目秀的，不过，小曦，伱确定是因为帅而不是因为你上次说的肾？”

　　蛋崽：“数院的吧。”

　　下午5点。

　　三个女生收拾好东西，准备去吃饭。

　　5点40，三个女生再次回到教室，发现那个男生仍然伏案计算，眉头时不时皱一下，似乎发现了什么重大的东西。

　　三人大感诧异，感慨这男生太拼了。

　　时间一分一秒地过去。

　　许青舟没感受到时间的流失，进入到一种忘我的状态。

　　桌上载来“刷刷”的写字声音，一个个复杂的符号出现在笔尖下，一行行表达式最终汇集成描述数学真理的语言。

　　就三个小时时间，平铺的稿纸上，已经写满了数学公式。

　　晚上9点30，许青舟停笔。

　　望著面前摊开的稿纸，他叹了口气，肚子早就在抗议，一停下，四肢传来饥饿过后的无力感，但他的眼中是抑制不住的兴奋。

　　三个多月的时间，终于搞出来了！

　　嘴角带著笑意，他把所有的手稿都理齐，厚厚的一迭。

　　成功了，说不高兴是假的，那种涌上来的成就感让人著迷，这可能就是数学的魅力。

　　不过，他却很平静，很多时候就是这样，等真的做成某事件事情时，并没有自己想像中的激动，狂喜，这可能石壁一种费尽心血，终于获得成功之后的释然。

　　深吸了口气，许青舟静下心，在电脑上打开了一个崭新的文档。

　　问题已经解决，接下来，就是把所有的成果整理成论文。

　　虽然整个过程刻在大脑里，但后续工作同样是一个大工程，他打算先给论文开个头。

　　双手放在键盘上，咔咔地开始打字。

　　《关于素数间隔规律的讨论以及克拉梅尔猜想的证明》

　　摘要：本文深入探讨了素数间隔的规律，并突破性地给出了克拉梅尔猜想的完整证明，即（p n+1 -p n）/（lnp n）^2 =1，n→∞limsup，liminf（p n+1 -p n）/（lnp n）^2 =0，n→∞是成立的

　　许青舟写得很认真，再次忘记掉身体带来的疲惫。

　　教室的倒数第三排，见许青舟又换了一个事情，却仍然没有去吃饭的意思，三个女孩又开始在小群里边八卦，算是复习之余的中场休息。

　　蛋崽：“都9点半了，他不饿吗？”

　　Rhea：“以前就听说数院的人都很疯，今天算是见识到了，咦，小曦，你怎么不说话？”

　　是小曦啊：“我在想要不要去给他买点吃的。”

　　Rhea：“小曦，你不会真看上他了吧，这样的男生很无聊的，爱数学绝对胜过爱你。”

　　是小曦啊：“但我觉得这样的人很帅啊，搞研究。”

　　Rhea：“小曦，姐妹劝你重新选吧，我刚才看了一眼他的电脑屏幕，这是我看到过后千度到的。”

　　说著，Rhea把自己搜到的截图发在群里。

　　【数学上的克拉梅尔猜想是瑞典数学家哈拉尔德·克拉梅尔在1937年提出，这猜想在数学界截至现在尚无证明获得数学共同体认可】

　　Rhea：“为难了数学家八九十年的问题，甚至有人说这个猜想和黎曼猜想一样难。这个男生样子，最多大四，说不定和我们一样，大三。”

　　蛋崽：“我看到新闻，说有个菲尔兹数学奖的得主研究过，但放弃了。”