作為初始值的X1，它內部的2^(m1-1)是包含了未來值部分2^(m(n-1)-1)的。
屬于無法證明的問題。
陳舟也就停下了筆，習慣性的拿著筆在草稿紙上點著，不再繼續寫下去。
這些算式的最終結果，告訴陳舟，他又回到了問題的原點。
隨手翻了翻錯題集，剛才的所有算式，果然又出現在了錯題集上面。
得，這條不大可能行得通的路，果然又被堵死了。
放下筆，陳舟下意識的就想撓撓頭，但立刻終止了這個動作。
相比于拿著筆，不斷的點著草稿紙，遇到問題就撓頭，可并不是一個好習慣。
萬一，變得和張中原一樣了，那可就真應了他那句，和他年輕時很像了……
身旁，楊依依注意到了陳舟的動作，瞥了一眼草稿紙之上密密麻麻的算式。
她低聲問道：“要不要出去透透氣？”
陳舟轉頭看著楊依依，微微一笑：“暫時不用。”
說完，陳舟再次拿起筆，繼續展開對冰雹猜想的攻擊。
時間，也就這樣在筆尖悄然流逝。
在距離丘賽過去了兩周時間時。
4月5日。
清明節。
似乎是為了應景，這天從早晨開始，就一直下著淅淅瀝瀝的小雨。
陳舟和楊依依不得已，只能取消了晨跑的計劃。
不過，兩人倒也沒有貪睡，而是直接起床去吃早餐了。
在食堂吃早餐時，陳舟接到了一個電話。
是丘賽的領隊老師打來的。
他首先恭喜了陳舟成功入圍五個科目的決賽，然后又交代了一些決賽的注意事項。
掛斷電話，陳舟才意識到半個月的時間，就這么過去了。
而那個在1972年，被普林斯頓大學高等研究院康威教授證明問題的自然概括是算法不可判定的冰雹猜想。
在1990年，被哈佛大學數學研究所和斯坦福大學高級研究中心的兩位教授證明的事實上在算術等級中是不可判定的冰雹猜想。
在2011年，被陶哲軒稱為不太可能被當前技術所證明的冰雹猜想。
陳舟也一樣，幾乎可以說，毫無進展。
但是收獲還是有的。
在研究的過程中，陳舟至少摸清了這個問題究竟有多難。
也難怪大數學家厄特希都說，數學還沒有成熟到足以解決這樣的問題。
除此之外，陳舟還得到了一些額外的收獲。
對數學工具的使用，他更加熟練了。
收回思緒，陳舟看著同樣接到電話的楊依依。
等到楊依依掛斷電話，陳舟問道：“丘賽的領隊老師？”
楊依依輕輕點頭：“嗯，我選的兩個科目，都入圍了。”
陳舟并不意外這個結果，如果楊依依沒入圍，他反倒會感到意外。
回到宿舍，陳舟就看到趙琦琦三人都已經起來，正坐在書桌前，查著丘賽的比試成績。
看來，這三個家伙，也接到電話了。
陳舟把早餐遞給他們，坐在書桌前開始整理自己的草稿紙。
趙琦琦邊吃包子，邊問道：“陳哥，你不查查丘賽的成績嗎？”
陳舟手上動作不停，口中回道：“五科都入圍了。”
趙琦琦又咬了口包子，聲音有點含糊：“不是，我是說具體的成績。”