，就有无数的数学家试图解决它。
但最终都失败了。
以至于，冰雹猜想在被著名学者盖伊作为世界难题介绍时，是分在了“不要试图去解决这些问题”一类的。
而且，不止一位数学家赞成这个看法。
其中就包括著名的华人数学家陶哲轩，他就在博客里写到：“不太可能被当前的技术证明。”
甚至就连大数学家厄希特，都认为冰雹猜想是“数学还没有成熟到足以解决这样的问题”。
除此之外，更有人提议把冰雹猜想作为下一个费马问题。
要知道费马猜想，从提出到被证明，可是整整经历了三百多年的历史。
这三百多年间，无论是数学大神欧拉，还是其他数不清的数学家们前赴后继，却始终没有证明费马猜想。
直到1995年，才被英国数学家怀尔斯证明。
但冰雹猜想的提出是在1937年，到今天也才过了不到一百年的时间。
要是按费马问题的历史时间算，也就是说，冰雹猜想需要到23世纪才能被解决。
可现在，冰雹猜想的证明结果，就在杨依依的眼前！
而完成冰雹猜想证明的人，就在她的身边！
她见证了历史！
虽然冰雹猜想的证明过程还躺在草稿纸上，她也无法确定这证明过程是否真的正确，但是她相信陈舟。
杨依依目光灼热的看着陈舟，她觉得这时的陈舟，真的越来越帅了！
陈舟伸了个懒腰，这几天，没日没夜的，每天奋战十好几个小时，真的是累啊。
还好这次的方向是正确的，也收获了他想要的结果。
更为关键的是那灵光一闪。
陈舟觉得自己是不是应该请客，出去搓一顿呢？
当然，在此之前，他肯定是得把论文先整理出来的。
陈舟看了眼时间，离闭馆还有十分钟。
还能