第273章 行程确定（为土豆有病加更5）
“嗯。”陈舟轻轻点头，“学术会议是在15号开始，我跟孙院长应该会在前一天就启程。”
顿了顿，陈舟笑着问道：“你想要什么礼物呀？”
杨依依歪着脑袋想了想，轻声说道：“如果带冰淇淋回来，会化的吧？”
陈舟闻言一愣，旋即轻轻刮了刮杨依依的鼻子：“想吃冰淇淋了？”
杨依依皱了皱鼻子，笑着点点头。
“走吧。”陈舟把桌子上的东西简单收拾了一下，就站了起来。
“嘻嘻，好。”杨依依伸了个懒腰，也站了起来。
陈舟看到杨依依伸懒腰的姿势，不禁想到，这丫头，身材这么好，难道是因为爱吃甜食？
可为什么只在该胖的地方长肉了呢？
注意到陈舟的眼神，杨依依伸手搭上了陈舟的胳膊，一使劲，就听到陈舟一声低呼。
“痛痛痛……”
“哼！”杨依依轻哼一声，手也缓慢松开了。
走出图书馆，陈舟还在揉着被捏的胳膊，吃甜食也长力气吗？
“还疼吗？”看到陈舟的动作，杨依依又有些心疼。
触及杨依依的目光，陈舟松开揉胳膊的手，转而抓住杨依依的手，嬉笑着说道：“不疼了，不过……”
杨依依疑惑的问道：“不过什么？”
陈舟凑到杨依依面前，悄悄说道：“不过，我媳妇的身材真好呐~”
“你，不害臊……”杨依依刚想出手，却发现，两只手都被陈舟紧紧地抓住了。
“哈哈，打不到了吧？”陈舟嬉笑着回道。
杨依依想了想，猛地一口朝着陈舟的胳膊咬去。
“我去……”陈舟赶忙松手跳开。
看了一眼摩拳擦掌的杨依依，陈舟立马说道：“依依，我错了……”
杨依依倒没真的想再打陈舟，这周围这么多人看着呢，她已经听到有人说：“啊，狗粮中毒，校园网的帖子又有素材了……”
杨依依拉着陈舟就赶紧离开了。
陈舟则暗自感激了一波周围狗粮中毒的同学们，并且表示下次一定要多撒狗粮才行。
这样才安全嘛……
11月10号。
离麻省理工的数学学术会议开始有5天时间。
陈舟收到了周院长发来的消息，是航班信息。
顺带着周院长还交代了一下出行安排。
这次去学术会议的一共五个人，除了陈舟和数院孙院长外，还有三位教授。
其中两位的名字，陈舟是第一次听。
但是另外一位，他却早有耳闻。
获得数学第一名校普林斯顿大学博士学位，去年获得国家杰出青年科学基金，并被评为燕京大学长江特聘教授的徐晨阳。
这是曾经在燕大有着“徐神”之称的天才数学家。
也被誉为“燕大三剑客”的大师兄。
“燕大三剑客”指的是恽之伟、张韦、朱昕文三人，他们三人都是是燕大2000届本科学生。
只不过，现在的“燕大三剑客”都留在了米国任教，并没有选择回国。
他们也被称为燕大数学的“黄金一代”。
在陈舟解决了冰雹猜想后，他也听到了不少把他和他们进行比较的言论。
只不过，不管好坏，陈舟都不是很在意。
所以在得知徐晨阳也会同去后，陈舟是并不意外的。
毕竟，这样的学术交流的机会，多参加一些，是有不少好处的。
作为燕大新一代的领军者，燕大也不会放过这种培养人才的机会。
但陈舟还没见过这位在燕京国际数学研究中心的“大师兄”，这回倒是可以在路上交流交流了。
虽然大师兄徐晨阳研究的主要是代数几何领域，但没有任何一位数学家能够拒绝数论的魅力。
在行程确定后，陈舟也终于开始准备三十分钟报告的内容。
通过上次隐藏任务的“培养”，陈舟已经知道了，真正的演讲大师，是不需要稿子的。
那些准备好的稿子，只是留给没有准备的人的。
像他这样，已经把冰雹猜想的证明刻在脑海中的人，还需要演讲稿？
花了近半个小时的时间，陈舟简单的做了个PPT，把一些核心的证明过程贴了上去。
嗯，PPT还是得做一个的……
PPT完成后，保存，拷进U盘，便算结束了。
陈舟转头又投入了克拉梅尔猜想的世界。
关于那个克拉梅尔的修改猜想，他有了新的思路。
“如果近似去看克拉梅尔修正猜想的话……”
陈舟在草稿纸上列着数表。
这个数表并不是爱多士猜想证明方法的复合数列表。
而是陈舟在其基础上进行改变得到的。
把数表列出来后，陈舟拿笔开始圈数。
克拉梅尔修正猜想的表述是，(Pn+1≤N)max(Pn+1-Pn)≈logN(logN-loglogN)+2。
这里陈舟圈出来的便是分别符合，(Pn+1≤N)max(Pn+1-Pn)和logN(logN-loglogN)+2的数。
这种方法，其实和筛法有点类似。
筛法，又称埃拉托斯特尼筛。
具体做法是，先把N个自然数按次序排列起来。
1不是质数，也不是合数，直接划去。
2是质数，留下。
而后把2后面能被2整除的数都划去。
2后面第一个没划去的数是3，把3留下。
再把3后面所有能被3整除的数全部划去。
以此推类，就会把不超过N的全部合数都筛掉，留下的就是不超过N的全部质数。
当然，这只是简单的表述。
筛法的应用很广泛，从四色定理开始，到构造无穷多个两两相连的区域，到哥德巴赫猜想的研究，等等等等。
而把筛法运用到极致的人，便是陈老先生了。
这位把哥德巴赫猜想推进到“1+2”的老先生，便是在研究哥猜的过程中，把筛法理论带到了顶点。
一直到现在，都无法再进一步。
陈舟自然也知道筛法的运用基本上已经到了极致，很难再有突破。
但不妨碍他从这方面去寻找思路。
“如果用筛法的公式，去验证(Pn+1≤N)max(Pn+1-Pn)≈logN(logN-loglogN)+2的话……”
随着时间的推移，陈舟渐渐皱起了眉头。
“克拉梅尔修正猜想本身就是以近似值去做出的改变，如果用公式的话，是不对等的……”
“相反，这样绕下去，又会绕回克拉梅尔猜想本身……”
陈舟放下笔，暂时脱离眼前的研究，转而打开电脑上的文献看了起来。
看着看着，他忽然眼前一亮。