斯顿大学高等研究院康威教授证明问题的自然概括是算法不可判定的冰雹猜想。
在1990年，被哈佛大学数学研究所和斯坦福大学高级研究中心的两位教授证明的事实上在算术等级中是不可判定的冰雹猜想。
在2011年，被陶哲轩称为不太可能被当前技术所证明的冰雹猜想。
陈舟也一样，几乎可以说，毫无进展。
但是收获还是有的。
在研究的过程中，陈舟至少摸清了这个问题究竟有多难。
也难怪大数学家厄特希都说，数学还没有成熟到足以解决这样的问题。
除此之外，陈舟还得到了一些额外的收获。
对数学工具的使用，他更加熟练了。
收回思绪，陈舟看着同样接到电话的杨依依。
等到杨依依挂断电话，陈舟问道：“丘赛的领队老师？”
杨依依轻轻点头：“嗯，我选的两个科目，都入围了。”
陈舟并不意外这个结果，如果杨依依没入围，他反倒会感到意外。
回到宿舍，陈舟就看到赵琦琦三人都已经起来，正坐在书桌前，查着丘赛的比试成绩。
看来，这三个家伙，也接到电话了。
陈舟把早餐递给他们，坐在书桌前开始整理自己的草稿纸。
赵琦琦边吃包子，边问道：“陈哥，你不查查丘赛的成绩吗？”
陈舟手上动作不停，口中回道：“五科都入围了。”
赵琦琦又咬了口包子，声音有点含糊：“不是，我是说具体的成绩。”
朱明理也同样说道：“对呀，陈舟，入围你肯定是入围的。但是具体成绩，你都不看看吗？”
陈舟回道：“知道入围就行了，至于成绩，应该不错，查不查都一样。”
闻言，赵琦琦和朱明理不说话了。
李礼则是看了陈舟一眼，默默的关闭了打开的网页。
一直到三人把早餐吃完，陈舟都没有去碰过电脑。
赵琦琦又看了一眼陈舟，然后默默的把陈舟的信息输入官网，查询了一下。
朱明理敏锐的察觉了赵琦琦的动作，他悄悄移动身子，靠近了赵琦琦。
李礼虽然没有动身，但同样双眼盯着赵琦琦的电脑屏幕。
随着页面的刷新，三人看到了陈舟的笔试成绩。
赵琦琦忍不住低呼了一声：“卧槽！全科满分！”
朱明理紧随其后：“牛逼！”
李礼则收回了目光，只是感慨的说了句：“没想到，这么难的数论卷，都能全科满分……”
听到三人的话，陈舟依旧没有停下手上的动作，只是淡淡的问道：“你们谁全科满分了？李礼吗？”
陈舟还以为是赵琦琦三人中的哪一个，取得了全科满分的成绩。
这三人，在陈舟看来，只有李礼是有这个可能的。
李礼回道：“不
在1990年，被哈佛大学数学研究所和斯坦福大学高级研究中心的两位教授证明的事实上在算术等级中是不可判定的冰雹猜想。
在2011年，被陶哲轩称为不太可能被当前技术所证明的冰雹猜想。
陈舟也一样，几乎可以说，毫无进展。
但是收获还是有的。
在研究的过程中，陈舟至少摸清了这个问题究竟有多难。
也难怪大数学家厄特希都说，数学还没有成熟到足以解决这样的问题。
除此之外，陈舟还得到了一些额外的收获。
对数学工具的使用，他更加熟练了。
收回思绪，陈舟看着同样接到电话的杨依依。
等到杨依依挂断电话，陈舟问道：“丘赛的领队老师？”
杨依依轻轻点头：“嗯，我选的两个科目，都入围了。”
陈舟并不意外这个结果，如果杨依依没入围，他反倒会感到意外。
回到宿舍，陈舟就看到赵琦琦三人都已经起来，正坐在书桌前，查着丘赛的比试成绩。
看来，这三个家伙，也接到电话了。
陈舟把早餐递给他们，坐在书桌前开始整理自己的草稿纸。
赵琦琦边吃包子，边问道：“陈哥，你不查查丘赛的成绩吗？”
陈舟手上动作不停，口中回道：“五科都入围了。”
赵琦琦又咬了口包子，声音有点含糊：“不是，我是说具体的成绩。”
朱明理也同样说道：“对呀，陈舟，入围你肯定是入围的。但是具体成绩，你都不看看吗？”
陈舟回道：“知道入围就行了，至于成绩，应该不错，查不查都一样。”
闻言，赵琦琦和朱明理不说话了。
李礼则是看了陈舟一眼，默默的关闭了打开的网页。
一直到三人把早餐吃完，陈舟都没有去碰过电脑。
赵琦琦又看了一眼陈舟，然后默默的把陈舟的信息输入官网，查询了一下。
朱明理敏锐的察觉了赵琦琦的动作，他悄悄移动身子，靠近了赵琦琦。
李礼虽然没有动身，但同样双眼盯着赵琦琦的电脑屏幕。
随着页面的刷新，三人看到了陈舟的笔试成绩。
赵琦琦忍不住低呼了一声：“卧槽！全科满分！”
朱明理紧随其后：“牛逼！”
李礼则收回了目光，只是感慨的说了句：“没想到，这么难的数论卷，都能全科满分……”
听到三人的话，陈舟依旧没有停下手上的动作，只是淡淡的问道：“你们谁全科满分了？李礼吗？”
陈舟还以为是赵琦琦三人中的哪一个，取得了全科满分的成绩。
这三人，在陈舟看来，只有李礼是有这个可能的。
李礼回道：“不
本章未完，点击下一页继续阅读
(3/5)