图书馆外。
吃完晚饭的陈舟和杨依依，散步在燕大的无名湖畔。
杨依依时不时的就看陈舟一眼。
她发现陈舟从放下笔那一刻，脸上就一直挂着笑容。
注意到杨依依在看自己，陈舟反而更开心了。
谁能想到，找了半天，最懂自己的，还是身边人。
想了想，陈舟转身面对杨依依，轻声说道：“依依，多亏了你，分布解构法，完成了。”
“我？”杨依依有一瞬间的疑惑。
但聪慧如她，立马猜到了大概。
旋即，她微微一笑，故意摆了摆手，说道：“不客气，咱俩谁跟谁呢？”
陈舟被杨依依的动作逗的笑出了声：“是是是，咱俩谁跟谁嘛……”
又看了会一塔湖图，两人便再次来到了图书馆，来到了熟悉的位置。
礼貌的感谢了一下帮忙占座的李礼和李静。
再次看到眼前难题的陈舟，信心大增。
思想问题解决了，接下来就是运用思想，解决问题的时刻了。
【(Pn+1≤N)max(Pn+1-Pn)≈logN(logN-loglogN)+2，N≥7】
这是陈舟关于克拉梅尔猜想的修正猜想的公式化。
现在，他要开始解决彻底解决这一问题了。
时间上，应该来得及。
陈舟计划在16号动身前往麻省理工参加学术交流之前，把这个问题的论文完成。
这算是对克拉梅尔猜想研究的最近一步了。
因为克拉梅尔猜想本身的难度，世界上的数学家们，没有人能接近证明克拉梅尔猜想。
陈舟自然也没打算，在这仅剩的两天时间，连带着把克拉梅尔猜想也给证明了。
这一晚，陈舟倒是没再熬夜，而是美美的睡上了一觉。
养精蓄锐之后，就是大战开始的时刻。
也就是陈舟沉浸在梦乡时，孙院长他们到地方了。
燕京时间，14号凌晨四点。
米国波士顿洛根国际机场。
这是一家民用机场，是米国第18个繁忙的机场。
也是新英格兰地区最大的机场。
孙院长和徐晨阳一行四人，平安落地。
下飞机后，摆渡车还没来。
等候的间隙，孙院长几人的目光都在机场的标志性建筑上。
这是一个特别的中央控制塔台，大约12层楼高。
两旁各有一座椭圆形的指示塔，在六层楼高的地方，以空桥衔接。
这也是当地著名的地标建筑。
但看着看着，几人的话题又聊到了陈舟的身上。
“院长，你说陈舟他真的会赶过来吗？”郑成遇轻声问道。
他是同行四人中，唯一一个不戴眼镜。
他也是数院，年轻教授里，头发比较丰富的。
从外貌看，可能还以为他只有三十出头。
但实际上，他已经四十五了。
相比之下，同行的另一位戴眼镜，头发稍显稀疏的邹民望教授。
虽然年龄没他大，但面相就老成许多了。