看着眼前写下的结论，陈舟有一瞬间的恍惚。
随即，他拿出错题集，神情激动的翻到了最新的一页。
这上面，关于由数字金字塔引发的冰雹猜想研究的错误记录，全部消失了。
而原本厚厚的，陈舟所积累的错误记录，大部分也消失了。
“这就证明出来了？”
陈舟已经竭力克制自己的情绪了，但双手忍不住的还是颤抖着。
这可是世界级的难题啊！
陈舟怎么能不激动？！
和先前的clifford分析那个课题相比，冰雹猜想的研究难度，含金量，学术价值，都要大得多。
两者完全不是一个量级的东西。
又看了一眼，堆叠在桌子上的草稿纸，陈舟一瞬间被成就感填满了。
这个既属于抽象代数领域，又属于数论领域的冰雹猜想。
就这样，在燕大的图书馆，被他一个本科生，证明了出来。
察觉到身旁陈舟的异样，杨依依微微转头看了一眼陈舟，随后又将目光移向陈舟面前的草稿纸。
“……冰雹猜想的结论是正确的……”杨依依在心里默念了一遍草稿纸上的内容。
有那么一瞬间，她没有反应过来。
但马上，她再次看向陈舟：“你证明出来了？”
陈舟看向身旁的女伴，重重的点了点头：“搞定了！”
得到陈舟肯定的回答，杨依依虽然已经做了一些心里准备，但还是被惊讶到了。
这可是货真价实的世界级难题。
她虽然没有研究过，但不代表她不了解。
毕竟，陈舟每天都是冰雹猜想冰雹猜想的和她说，她想不知道都难。
也是因为陈舟的研究，杨依依去查过冰雹猜想的资料。
冰雹猜想也被称为奇偶归一猜想、角谷猜想、3n+1猜想、考拉兹猜想等名字。
从它被提出后，就有无数的数学家试图解决它。
但最终都失败了。
以至于，冰雹猜想在被著名学者盖伊作为世界难题介绍时，是分在了“不要试图去解决这些问题”一类的。
而且，不止一位数学家赞成这个看法。
其中就包括著名的华人数学家陶哲轩，他就在博客里写到：“不太可能被当前的技术证明。”
甚至就连大数学家厄希特，都认为冰雹猜想是“数学还没有成熟到足以解决这样的问题”。
除此之外，更有人提议把冰雹猜想作为下一个费马问题。
要知道费马猜想，从提出到被证明，可是整整经历了三百多年的历史。
这三百多年间，无论是数学大神欧拉，还是其他数不清的数学家们前赴后继，却始终没有证明费马猜想。
直到1995年，才被英国数学家怀尔斯证明。
但冰雹猜想的提出是在1937年，到今天也才过了不到一百年的时间。
要是按费马问题的历史时间算，也就是说，冰雹猜想需要到23世纪才能被解决。
可现在，冰雹猜想的证明结果，就在杨依依的眼前！
而完成冰雹猜想证明的人，就在她的身边！
她见证了历史！
虽然冰雹猜想的证明过程还躺在草稿纸上，她也无法确定这证明过程是否真的正确，但是她相信陈舟。
杨依依目光灼热的看着陈舟，她觉得这时的陈舟，真的越来越帅了！
陈舟伸了个懒腰，这几天，没日没夜的，每天奋战十好几个小时，真的是累啊。
还好这次的方向是正确的，也收获了他想要的结果。
更为关键的是那灵光一闪。
陈舟觉得自己是不是应该请客，出去搓一顿呢？
当然，在此之前，他肯定是得把论文先整理出来的。
陈舟看了眼时间，离闭馆还有十分钟。