甚至就連大數學家厄希特，都認為冰雹猜想是“數學還沒有成熟到足以解決這樣的問題”。
除此之外，更有人提議把冰雹猜想作為下一個費馬問題。
要知道費馬猜想，從提出到被證明，可是整整經歷了三百多年的歷史。
這三百多年間，無論是數學大神尤拉，還是其他數不清的數學家們前赴後繼，卻始終沒有證明費馬猜想。
直到1995年，才被英國數學家懷爾斯證明。
但冰雹猜想的提出是在1937年，到今天也才過了不到一百年的時間。
要是按費馬問題的歷史時間算，也就是說，冰雹猜想需要到23世紀才能被解決。
可現在，冰雹猜想的證明結果，就在楊依依的眼前！
而完成冰雹猜想證明的人，就在她的身邊！
她見證了歷史！
雖然冰雹猜想的證明過程還躺在草稿紙上，她也無法確定這證明過程是否真的正確，但是她相信陳舟。
楊依依目光灼熱的看著陳舟，她覺得這時的陳舟，真的越來越帥了！
陳舟伸了個懶腰，這幾天，沒日沒夜的，每天奮戰十好幾個小時，真的是累啊。
還好這次的方向是正確的，也收穫了他想要的結果。
更為關鍵的是那靈光一閃。
陳舟覺得自己是不是應該請客，出去搓一頓呢？
當然，在此之前，他肯定是得把論文先整理出來的。
陳舟看了眼時間，離閉館還有十分鐘。
還能為論文打個開頭。
於是，陳舟開啟電腦，開始寫論文了。
和Clifford分析這篇論文不同，這次的冰雹猜想的論文，陳舟必須拿出百分百的專注度。
把證明過程中的每一個細節，都儘可能的描繪清楚。
充分發揮他計算嚴謹、邏輯縝密、思路清晰的特點。
【關於冰雹猜想運算特性的研究和冰雹猜想的證明】
【摘要：本文把全體正整數放入一個數字金字塔中，從研究全體正整數在進行冰雹猜想運算時的特性入手，透過證明r=1→∞∑ar，1=1的成立，從而證明全體奇數都可透過有限次冰雹猜想運算歸於1。並以此進行等價轉換，證明了冰雹猜想的成立。】
然後就是正文部分。
關於正文，陳舟倒沒著急。
而是把整個證明過程進行了分割。