第207章 这就证明出来了？（2/5）

陈舟看向身旁的女伴，重重的点了点头：“搞定了！”

得到陈舟肯定的回答，杨依依虽然已经做了一些心里准备，但还是被惊讶到了。

这可是货真价实的世界级难题。

她虽然没有研究过，但不代表她不了解。

毕竟，陈舟每天都是冰雹猜想冰雹猜想的和她说，她想不知道都难。

也是因为陈舟的研究，杨依依去查过冰雹猜想的资料。

冰雹猜想也被称为奇偶归一猜想、角谷猜想、3n+1猜想、考拉兹猜想等名字。

从它被提出后，就有无数的数学家试图解决它。

但最终都失败了。

以至于，冰雹猜想在被著名学者盖伊作为世界难题介绍时，是分在了“不要试图去解决这些问题”一类的。

而且，不止一位数学家赞成这个看法。

其中就包括著名的华人数学家陶哲轩，他就在博客里写到：“不太可能被当前的技术证明。”

甚至就连大数学家厄希特，都认为冰雹猜想是“数学还没有成熟到足以解决这样的问题”。

除此之外，更有人提议把冰雹猜想作为下一个费马问题。

要知道费马猜想，从提出到被证明，可是整整经历了三百多年的历史。

这三百多年间，无论是数学大神欧拉，还是其他数不清的数学家们前赴后继，却始终没有证明费马猜想。

直到1995年，才被英国数学家怀尔斯证明。