p> 不过,两人倒也没有贪睡,而是直接起床去吃早餐了。
在食堂吃早餐时,陈舟接到了一个电话。
是丘赛的领队老师打来的。
他首先恭喜了陈舟成功入围五个科目的决赛,然后又交代了一些决赛的注意事项。
挂断电话,陈舟才意识到半个月的时间,就这么过去了。
而那个在1972年,被普林斯顿大学高等研究院康威教授证明问题的自然概括是算法不可判定的冰雹猜想。
在1990年,被哈佛大学数学研究所和斯坦福大学高级研究中心的两位教授证明的事实上在算术等级中是不可判定的冰雹猜想。
在2011年,被陶哲轩称为不太可能被当前技术所证明的冰雹猜想。
陈舟也一样,几乎可以说,毫无进展。
但是收获还是有的。
在研究的过程中,陈舟至少摸清了这个问题究竟有多难。
也难怪大数学家厄特希都说,数学还没有成熟到足以解决这样的问题。
除此之外,陈舟还得到了一些额外的收获。
对数学工具的使用,他更加熟练了。
收回思绪,陈舟看着同样接到电话的杨依依。
等到杨依依挂断电话,陈舟问道:“丘赛的领队老师?”
杨依依轻轻点头:“嗯,我选的两个科目,都入围了。”
陈舟并不意外这个结果,如果杨依依没入围,他反倒会感到意外。
回到宿舍,陈舟就看到赵琦琦三人都已经起来,正坐在书桌前,查着丘赛的比试成绩。
看来,这三个家伙,也接到电话了。
陈舟把早餐递给他们,坐在书桌前开始整理自己的草稿纸。
赵琦琦边吃包子,边问道:“陈哥,你不查查丘赛的成绩吗?”
陈舟手上动作不停,口中回道:“五科都入围了。”
赵琦琦又咬了口包子,声音有点含糊:“不是,我是说具体的成绩。”
朱明理也同样说道:“对呀,陈舟,入围你肯定是入围的。但是具体成绩,你都不看看吗?”
陈舟回道:“知道入围就行了,至于成绩,应该不错,查不查都一样。”
闻言,赵琦琦和朱明理不说话了。
李礼则是看了陈舟一眼,默默的关闭了打开的网页。
一直到三人把早餐吃完,陈舟都没有去碰过电脑。
赵琦琦又看了一眼陈舟,然后默默的把陈舟的信息输入官网,查询了一下。
朱明理敏锐的察觉了赵琦琦的动作,他悄悄移动身子,靠近了赵琦琦。
李礼虽然没有动身,但同样双眼盯着赵琦琦的电脑屏幕。