他数不清的数学家们前赴后继，却始终没有证明费马猜想。
直到1995年，才被英国数学家怀尔斯证明。
但冰雹猜想的提出是在1937年，到今天也才过了不到一百年的时间。
要是按费马问题的历史时间算，也就是说，冰雹猜想需要到23世纪才能被解决。
可现在，冰雹猜想的证明结果，就在杨依依的眼前！
而完成冰雹猜想证明的人，就在她的身边！
她见证了历史！
虽然冰雹猜想的证明过程还躺在草稿纸上，她也无法确定这证明过程是否真的正确，但是她相信陈舟。
杨依依目光灼热的看着陈舟，她觉得这时的陈舟，真的越来越帅了！
陈舟伸了个懒腰，这几天，没日没夜的，每天奋战十好几个小时，真的是累啊。
还好这次的方向是正确的，也收获了他想要的结果。
更为关键的是那灵光一闪。
陈舟觉得自己是不是应该请客，出去搓一顿呢？
当然，在此之前，他肯定是得把论文先整理出来的。
陈舟看了眼时间，离闭馆还有十分钟。
还能为论文打个开头。
于是，陈舟打开电脑，开始写论文了。
和clifford分析这篇论文不同，这次的冰雹猜想的论文，陈舟必须拿出百分百的专注度。
把证明过程中的每一个细节，都尽可能的描绘清楚。
充分发挥他计算严谨、逻辑缜密、思路清晰的特点。
【关于冰雹猜想运算特性的研究和冰雹猜想的证明】
【摘要：本文把全体正整数放入一个数字金字塔中，从研究全体正整数在进行冰雹猜想运算时的特性入手，通过证明r=1∞∑ar，1=1的成立，从而证明全体奇数都可通过有限次冰雹猜想运算归于1。并以此进行等价转换，证明了冰雹猜想的成立。】
然后就是正文部分。
关于正文，陈舟倒没着急。
而是把整个证明过程进行了分割。
分别为数字金字塔、数论的两个引理、冰雹猜想运算的特性等等。
由此，所有的小部分，再组成一篇完整的论文。
对于小部分内容的填充，陈舟还需要再整理一下。
今天是没时间了，在他做完这些的时候，图书馆已经要闭馆了。
和杨依依走在回宿舍的路上。
陈舟敏锐的发现，这丫头怎么走两步，就偷看自己一下？
难道今天的我，尤为的帅气吗？
陈舟迎上杨依依再一次看过来的目光：“干嘛老看我？”
杨依