第251章 下意识的动作最致命
晚上10点，夜幕早已降临，窗外，亮著星星点点的灯火，白日的喧嚣被夜晚昆虫的低鸣代替，世界仿佛安静下来。
这个时候，屋内的小聚会结束。
两个女生惬意地坐在沙发看电视，二喵趴在自己窝里不愿意出来，它不认生，就是新来的两脚兽太热情了，一被逮到就得遭到各种“折磨”。
许青舟和郭子扬打扫卫生，一个洗碗一个扫地。
等许青舟把东西收拾好，才发现丁佳慧又去rua二喵去了，郭子扬屁颠屁颠地跟在后面，两个人对著二喵戳来戳去，惹得二喵幽怨地叫了许久。
见许青舟刚洗完碗，宋瑶挪了挪屁股，给他留位置，然后，脚顺势就抬起来想往许青舟怀里塞。
许青舟也是乐呵呵地伸手。
“你们？”
丁佳慧的声音让两个人的动作戛然而止，瞬间想到家里貌似还有两个电灯泡在。
郭子扬同样疑惑地望著两人。
空气有些凝固。
完蛋，下意识的动作最致命。
宋瑶反应迅速，踹了踹许青舟，表情冷冷的，“这里是佳慧的位置。”
“哦，好。”
许青舟配合地点头，从旁边拉了跟椅子过来坐。
“瑶瑶~”丁佳慧很感动，过来扑在宋校花身上，“我就知道，在你心里，我还是重要的！”
许青舟长吐了口气，好险，差点暴露。望著腻在一起的两个女生，他又有点咂舌，女生里边，估计只有丁佳慧能这样和宋瑶亲昵了。
郭子扬也拉了根凳子过来，坐下过后，擦了擦汗水，说：“有点热了啊。”
“对，确实有点热了。”
丁佳慧说完，望著许青舟：“许青舟，你那个房间没空调？”
她刚才看过许青舟的房间，没自己姐妹的房间大，还没有空调，这无疑说明，许青舟是懂得心疼自己女朋友的。
越来越嗑了。
“没有。”许青舟点头。
郭子扬说：“京都夏天还是很热的吧，没空调你受得了？”
“我比较怕冷，热一点没事。”许青舟违心地说道，实际上这段时间的确热起来了，不开风扇都待不住人。
丁佳慧在旁边感慨，“羡慕你这样不怕热的，就现在这个月份，我都感觉有点热了，我们宿舍晚上都会开空调。”
郭子扬想了想，疑惑道：“我怎么记得你以前最讨厌的就是热了，每次到夏天就要死不活的。”
宋瑶淡然的眸子看著许青舟，像是在等他解释。
不知道是不是错觉，许青舟觉得在这妮子的眼中有一种“我就静静地看著你表演”的意思。
难道被看穿了啊？
这一刻，连许青舟这位老同志都有点摸不准了，有时候，这妮子的高冷只是伪装而已，实际鬼精鬼精的。
就比如上次去金陵，她给自己发的二喵的照片，呵，钓鱼而已。
但是，不管怎么样，戏唱一半就没有停下来的道理。
许青舟硬著头皮说：“人嘛，都是会变的。而且，蓉城的那个夏天，热就算了，还闷，京都这边还是不一样的。”
“也是。”丁佳慧点了点头，似乎想到什么大事，“对了，瑶瑶，我们一起凑单买眼霜吧，前几天我看到一个套装。”
宋瑶没再看许青舟，点点头：“好。”
“1个正装18g的那种，5个30g的小样，水乳100ml，还有眼膜.”
丁佳慧念念有词。
许青舟和郭子扬相互看了一眼。
得，上号。
临近12点，大家简单洗漱过后，说了句晚安，就各自回屋休息。
端午假期第二天，四个人上午去逛了京大校园，拍了一堆照片，中午在农园食堂吃个饭。
这个月份，正午太阳已经有点毒辣，很热，大家也没有继续溜达的心，约定下次有时间再出来玩，各自回去了。
地铁站。
许青舟撑著伞，望著郭子扬两口子的背影消失在地铁站拐角处，心中暗暗想，下次得给郭子扬提个醒，别让你女朋友一天天惦记我女朋友。
“走吧。”宋瑶打了个哈欠，挽著许青舟的手。
许青舟转头，瞧见宋瑶脸上似乎有点困倦，“昨晚没睡好？”
“嗯。”宋瑶点了点头，叹了口气，说：“佳慧嚷著要抱著我睡，有点不适应。”
许青舟笑著说：“那你得早点适应适应。”
嘿嘿，毕竟以后都得两个人睡的。
宋瑶先是愣了下，接著很快明白许青舟的意思，眸子沉了沉，手已经放在许青舟的腰上了。
“我也得适.嘶~”这头，许青舟的幻想很快被酸痛打破。
宋瑶哼了一声，不搭理他，又在想昨晚的事，不仅抱著睡了，她还被丁佳慧拉著比较了一下发育。
再然后，丁佳慧就受打击了，还苦恼她自己的为什么还和毕业一样，没什么长进，问宋瑶诀窍。
长大的诀窍？
宋瑶暗暗吐了口气，低头瞅了瞅隆起的胸口，没以前平，能遮住的视线也变多了。
回到家，只能说瞌睡会传染，许青舟也没忍住，钻进卧室睡了个午觉。
2点半，许青舟起来的时候，宋瑶已经在奋笔疾书，他也没浪费时间，打开电脑，把先前运算的稿纸取出来。
二喵卧在沙发上，正眯著眼打瞌睡，许青舟算是发现了，这懒猫白天就这样，一到晚上那叫一个精神，今天白天格外萎靡，估计是被丁佳慧折腾得够呛。
假期已经过去一半，他不准备把时间全部拿来帮赵教授他们搞模型，可能觉得他比较忙吧，赵教授前面就说了，两周之内搞定就可以。
端午假期过去，周二。
许青舟正在图书馆弄猜想的推算，他对面，宋校花去上课，电脑和书这些都放在这里。
假期里，他已经把方案做完，打开第一步工作，构建合适的筛法，同时使用筛法寻找素数的分布规律。
方向是有了，具体的工作却是相当复杂。
许青舟目前正在引用素数定理的初等证明中的二重积分法，想要对筛法进行补充。
在孪生素数个数筛选的过程中基本用不到素数定理，只不过可以借用里边的某些数学工具来实验自己的目的。
当然，除了二重积分法，华罗庚和Selberg也给出过其它十分硬核的素数证明方法，但许青舟用不到。
通过平滑，首先得到的S是一个Lipschitz连续函数，接著，就可以考虑把(5)化成积分形式。
利用对数函数的单调性。
【 logm≤∫mm+1logudu
|S(ym)|logm≤∫mm+1|S(ym)|logudu】
在这里，把=m换成u。
【∑m≤y∫.m≤ym+1m(m+1)=y∑m≤y1mylogy】
半个小时过后，许青舟眯著眼，面前多了两张写满算式的稿纸。
至此，就能得到 a≤1，然后就可以得到一个用于补充素数分布律的算式：lim infx→∞π(x)logxx≤1≤lim supx→∞π(x)logxx。
第252章 波利尼亚克猜想被证明了？
“呼~”
写下最后一排算式，许青舟长嘘一口气，拿起一旁的粉色杯子喝水，他发现，别看宋校花平时清冷，其实心中蕴含著一颗少女心。
刚喝完水，就注意到电脑右下角的邮箱开始闪动。
是凯莎琳的邮件，美国约翰霍普金斯大学，一位教授宣布自己证明了波利尼亚克猜想。
“这真被人抢先了？”
浏览完消息，许青舟有点吃惊，这次和印度那边的水货不一样，宣布这事情的是乔治·斯图尔特教授，在数论领域小有名气。
斯图尔特教授曾经改良张益唐的筛法，也发表过数篇数论方面的论文。
他改良张益唐筛法的那篇论文连许青舟都看过。
自己做了许久的事情被其他人抢先完成，说不郁闷是假的，但也仅限于有点郁闷。
许青舟上辈子奋斗这些年，收获的除了尿频尿急腰椎盘突出外，还有一颗稳如老狗的心。
他先回凯莎琳的邮件，感谢对方分享信息，而后又仔细搜索了相关新闻。
查过信息，许青舟发现，斯图尔特教授目前还只是在Twitter上宣布了这件事，并且说已经邀请专家进行论证，并没有更加权威的机构出来佐证。
就连约翰霍普金斯大学也仅仅是说学校正在检验。
嚯~
那就更不用郁闷了，都还没宣布呢，慌个毛。
即便是真的被证明了，那就放平心态，搞其他的呗。
他更想看看斯图尔特教授的证明过程，可也知道估计还得等一段时间。
笑了笑，许青舟深吸一口气，不再看杂七杂八的消息，低头继续刚才的推算。
不过，下午2点，他就接到顾志钟教授的电话，让去一趟办公室。
办公室只有顾志钟和苏科伟两个人。
“师弟，喝茶。”苏科伟给许青舟倒茶。
“谢谢师兄。”许青舟本想自己来的，但这位苏师兄著实有点热情。
给比自己小许多级的师弟倒茶，苏科伟并没有觉得有什么不妥。
毕竟，给大佬倒茶，不是应该的吗。
每次见面，师弟脑袋上的光环似乎都在增加。
你瞅瞅，人家已经是国家基金项目的负责人了。
他不由想到，在头回见面的时候，他当时似乎还想指点指点这位师弟来著。
草率了。
顾志钟教授问道：“你最近在关注数论圈的消息没有？”
“您是想说斯图尔特教授在昨天宣布自己证明了猜想的事情？”许青舟说道。