因为利用xn的公式，将x1倒推出来后，x1会出问题。
是个很大的问题。
作为初始值的x1，它内部的2^(m1-1)是包含了未来值部分2^(m(n-1)-1)的。
属于无法证明的问题。
陈舟也就停下了笔，习惯性的拿着笔在草稿纸上点着，不再继续写下去。
这些算式的最终结果，告诉陈舟，他又回到了问题的原点。
随手翻了翻错题集，刚才的所有算式，果然又出现在了错题集上面。
得，这条不大可能行得通的路，果然又被堵死了。
放下笔，陈舟下意识的就想挠挠头，但立刻终止了这个动作。
相比于拿着笔，不断的点着草稿纸，遇到问题就挠头，可并不是一个好习惯。
万一，变得和张中原一样了，那可就真应了他那句，和他年轻时很像了……
身旁，杨依依注意到了陈舟的动作，瞥了一眼草稿纸之上密密麻麻的算式。
她低声问道：“要不要出去透透气？”
陈舟转头看着杨依依，微微一笑：“暂时不用。”
说完，陈舟再次拿起笔，继续展开对冰雹猜想的攻击。
时间，也就这样在笔尖悄然流逝。
在距离丘赛过去了两周时间时。
4月5日。
清明节。
似乎是为了应景，这天从早晨开始，就一直下着淅淅沥沥的小雨。
陈舟和杨依依不得已，只能取消了晨跑的计划。
不过，两人倒也没有贪睡，而是直接起床去吃早餐了。
在食堂吃早餐时，陈舟接到了一个电话。
是丘赛的领队老师打来的。
他首先恭喜了陈舟成功入围五个科目的决赛，然后又交代了一些决赛的注意事项。
挂断电话，陈舟才意识到半个月的时间，就这么过去了。
而那个在1972年，被普林斯顿大学高等研究院康威教授证明问题的自然概括是算法不可判定的冰雹猜想。
在1990年，被哈佛大学数学研究所和斯坦福大学高级研究中心的两位教授证明的事实上在算术等级中是不可判定的冰雹猜想。
在2011年，被陶哲轩称为不太可能被当前技术所证明的冰雹猜想。
陈舟也一样，几乎可以说，毫无进展。
但是收获还是有的。
在研究的过程中，陈舟至少摸清了这个问题究竟有多难。
也难怪大数学家厄特希都说，数学还没有成熟到足以解决这样的问题。
除此之外，陈舟还得到了一些额外的收获。
对数学工具的使用，他更加熟练了。
收回思绪，陈舟看着同样接到电话的杨依依。
等到杨依依挂断电话，陈舟问道：“丘赛的领队老师？”
杨依依轻轻点头：“嗯，我选的两个科目，都入围了。”
陈舟并不意外这个结果，如果杨依依没入围，他反倒会感到意外。
回到宿舍，陈舟就看到赵琦琦三人都已经起来，正坐在书桌前，查着丘赛的比试成绩。
看来，这三个家伙，也接到电话了。
陈舟把早餐递给他们，坐在书桌前开始整理自己的草稿纸。
赵琦琦边吃包子，边问道：“陈哥，你不查查丘赛的成绩吗？”
陈舟手上动作不停，口中回道：“五科都入围了。”
赵琦琦又咬了口包子，声音有点含糊：“不是，我是说具体的成绩。”
朱明理也同样说道：“对呀，陈舟，入围你肯定是入围的。但是具体成绩，你都不看看吗？”
陈舟回道：“知道入围就行了，至于成绩，应该不错，查不查都一样。”
闻言，赵琦琦和朱明理不说话了。
李礼则是看了陈舟一眼，默默的关闭了