图书馆外。

吃完晚饭的陈舟和杨依依，散步在燕大的无名湖畔。

杨依依时不时的就看陈舟一眼。

她发现陈舟从放下笔那一刻，脸上就一直挂着笑容。

注意到杨依依在看自己，陈舟反而更开心了。

谁能想到，找了半天，最懂自己的，还是身边人。

想了想，陈舟转身面对杨依依，轻声说道：“依依，多亏了你，分布解构法，完成了。”

“我？”杨依依有一瞬间的疑惑。

但聪慧如她，立马猜到了大概。

旋即，她微微一笑，故意摆了摆手，说道：“不客气，咱俩谁跟谁呢？”

陈舟被杨依依的动作逗的笑出了声：“是是是，咱俩谁跟谁嘛……”

又看了会一塔湖图，两人便再次来到了图书馆，来到了熟悉的位置。

礼貌的感谢了一下帮忙占座的李礼和李静。

再次看到眼前难题的陈舟，信心大增。

思想问题解决了，接下来就是运用思想，解决问题的时刻了。

【(pn+1≤n)a(pn+1-pn)≈logn(logn-loglogn)+2，n≥7】

这是陈舟关于克拉梅尔猜想的修正猜想的公式化。

现在，他要开始解决彻底解决这一问题了。

时间上，应该来得及。

陈舟计划在16号动身前往麻省理工参加学术交流之前，把这个问题的论文完成。

这算是对克拉梅尔猜想研究的最近一步了。

因为克拉梅尔猜想本身的难度，世界上的数学家们，没有人能接近证明克拉梅尔猜想。

陈舟自然也没打算，在这仅剩的两天时间，连带着把克拉梅尔猜想也给证明了。

这一晚，陈舟倒是没再熬夜，而是美美的睡上了一觉。

养精蓄锐之后，就是大战开始的时刻。

也就是陈舟沉浸在梦乡时，孙院长他们到地方了。

燕京时间，14号凌晨四点。

米国波士顿洛根国际机场。

这是一家民用机场，是米国第18个繁忙的机场。

也是新英格兰地区最大的机场。

孙院长和徐晨阳一行四人，平安落地。

下飞机后，摆渡车还没来。

等候的间隙，孙院长几人的目光都在机场的标志性建筑上。

这是一个特别的中央控制塔台，大约12层楼高。

两旁各有一座椭圆形的指示塔，在六层楼高的地方，以空桥衔接。

这也是当地著名的地标建筑。

但看着看着，几人的话题又聊到了陈舟的身上。

“院长，你说陈舟他真的会赶过来吗？”郑成遇轻声问道。

他是同行四人中，唯一一个不戴眼镜。

他也是数院，年轻教授里，头发比较丰富的。

从外貌看，可能还以为他只有三十出头。

但实际上，他已经四十五了。

相比之下，同行的另一位戴眼镜，头发稍显稀疏的邹民望教授。

虽然年龄没他大，但面相就老成许多了。