看著眼前寫下的結論，陳舟有一瞬間的恍惚。
隨即，他拿出錯題集，神情激動的翻到了最新的一頁。
這上面，關于由數字金字塔引發的冰雹猜想研究的錯誤記錄，全部消失了。
而原本厚厚的，陳舟所積累的錯誤記錄，大部分也消失了。
“這就證明出來了？”
陳舟已經竭力克制自己的情緒了，但雙手忍不住的還是顫抖著。
這可是世界級的難題啊！
陳舟怎么能不激動？！
和先前的Clifford分析那個課題相比，冰雹猜想的研究難度，含金量，學術價值，都要大得多。
兩者完全不是一個量級的東西。
又看了一眼，堆疊在桌子上的草稿紙，陳舟一瞬間被成就感填滿了。
這個既屬于抽象代數領域，又屬于數論領域的冰雹猜想。
就這樣，在燕大的圖書館，被他一個本科生，證明了出來。
察覺到身旁陳舟的異樣，楊依依微微轉頭看了一眼陳舟，隨后又將目光移向陳舟面前的草稿紙。
“……冰雹猜想的結論是正確的……”楊依依在心里默念了一遍草稿紙上的內容。
有那么一瞬間，她沒有反應過來。
但馬上，她再次看向陳舟：“你證明出來了？”
陳舟看向身旁的女伴，重重的點了點頭：“搞定了！”
得到陳舟肯定的回答，楊依依雖然已經做了一些心里準備，但還是被驚訝到了。
這可是貨真價實的世界級難題。
她雖然沒有研究過，但不代表她不了解。
畢竟，陳舟每天都是冰雹猜想冰雹猜想的和她說，她想不知道都難。
也是因為陳舟的研究，楊依依去查過冰雹猜想的資料。
冰雹猜想也被稱為奇偶歸一猜想、角谷猜想、3n+1猜想、考拉茲猜想等名字。
從它被提出后，就有無數的數學家試圖解決它。
但最終都失敗了。
以至于，冰雹猜想在被著名學者蓋伊作為世界難題介紹時，是分在了“不要試圖去解決這些問題”一類的。
而且，不止一位數學家贊成這個看法。
其中就包括著名的華人數學家陶哲軒，他就在博客里寫到：“不太可能被當前的技術證明。”
甚至就連大數學家厄希特，都認為冰雹猜想是“數學還沒有成熟到足以解決這樣的問題”。
除此之外，更有人提議把冰雹猜想作為下一個費馬問題。
要知道費馬猜想，從提出到被證明，可是整整經歷了三百多年的歷史。
這三百多年間，無論是數學大神歐拉，還是其他數不清的數學家們前赴后繼，卻始終沒有證明費馬猜想。
直到1995年，才被英國數學家懷爾斯證明。
但冰雹猜想的提出是在1937年，到今天也才過了不到一百年的時間。
要是按費馬問題的歷史時間算，也就是說，冰雹猜想需要到23世紀才能被解決。
可現在，冰雹猜想的證明結果，就在楊依依的眼前！
而完成冰雹猜想證明的人，就在她的身邊！
她見證了歷史！
雖然冰雹猜想的證明過程還躺在草稿紙上，她也無法確定這證明過程是否真的正確，但是她相信陳舟。
楊依依目光灼熱的看著陳舟，她覺得這時的陳舟，真的越來越帥了！
陳舟伸了個懶腰，這幾天，沒日沒夜的，每天奮戰十好幾個小時，真的是累啊。
還好這次的方向是正確的，也收獲了他想要的結果。