看著眼前寫下的結論，陳舟有一瞬間的恍惚。
隨即，他拿出錯題集，神情激動的翻到了最新的一頁。
這上面，關於由數字金字塔引發的冰雹猜想研究的錯誤記錄，全部消失了。
而原本厚厚的，陳舟所積累的錯誤記錄，大部分也消失了。
“這就證明出來了？”
陳舟已經竭力剋制自己的情緒了，但雙手忍不住的還是顫抖著。
這可是世界級的難題啊！
陳舟怎麼能不激動？！
和先前的Clifford分析那個課題相比，冰雹猜想的研究難度，含金量，學術價值，都要大得多。
兩者完全不是一個量級的東西。
又看了一眼，堆疊在桌子上的草稿紙，陳舟一瞬間被成就感填滿了。
這個既屬於抽象代數領域，又屬於數論領域的冰雹猜想。
就這樣，在燕大的圖書館，被他一個本科生，證明了出來。
察覺到身旁陳舟的異樣，楊依依微微轉頭看了一眼陳舟，隨後又將目光移向陳舟面前的草稿紙。
“……冰雹猜想的結論是正確的……”楊依依在心裡默唸了一遍草稿紙上的內容。
有那麼一瞬間，她沒有反應過來。
但馬上，她再次看向陳舟：“你證明出來了？”
陳舟看向身旁的女伴，重重的點了點頭：“搞定了！”
得到陳舟肯定的回答，楊依依雖然已經做了一些心裡準備，但還是被驚訝到了。
這可是貨真價實的世界級難題。
她雖然沒有研究過，但不代表她不瞭解。
畢竟，陳舟每天都是冰雹猜想冰雹猜想的和她說，她想不知道都難。
也是因為陳舟的研究，楊依依去查過冰雹猜想的資料。
冰雹猜想也被稱為奇偶歸一猜想、角谷猜想、3n+1猜想、考拉茲猜想等名字。
從它被提出後，就有無數的數學家試圖解決它。
但最終都失敗了。
以至於，冰雹猜想在被著名學者蓋伊作為世界難題介紹時，是分在了“不要試圖去解決這些問題”一類的。
而且，不止一位數學家贊成這個看法。
其中就包括著名的華人數學家陶哲軒，他就在部落格裡寫到：“不太可能被當前的技術證明。”