究过，但不代表她不了解。
毕竟，陈舟每天都是冰雹猜想冰雹猜想的和她说，她想不知道都难。
也是因为陈舟的研究，杨依依去查过冰雹猜想的资料。
冰雹猜想也被称为奇偶归一猜想、角谷猜想、3n+1猜想、考拉兹猜想等名字。
从它被提出后，就有无数的数学家试图解决它。
但最终都失败了。
以至于，冰雹猜想在被著名学者盖伊作为世界难题介绍时，是分在了“不要试图去解决这些问题”一类的。
而且，不止一位数学家赞成这个看法。
其中就包括著名的华人数学家陶哲轩，他就在博客里写到：“不太可能被当前的技术证明。”
甚至就连大数学家厄希特，都认为冰雹猜想是“数学还没有成熟到足以解决这样的问题”。
除此之外，更有人提议把冰雹猜想作为下一个费马问题。
要知道费马猜想，从提出到被证明，可是整整经历了三百多年的历史。
这三百多年间，无论是数学大神欧拉，还是其他数不清的数学家们前赴后继，却始终没有证明费马猜想。
直到1995年，才被英国数学家怀尔斯证明。
但冰雹猜想的提出是在1937年，到今天也才过了不到一百年的时间。
要是按费马问题的历史时间算，也就是说，冰雹猜想需要到23世纪才能被解决。
可现在，冰雹猜想的证明结果，就在杨依依的眼前！
而完成冰雹猜想证明的人，就在她的身边！
她见证了历史！
第207章 这就证明出来了？(2/5)