第207章 这就证明出来了?(1 / 2)

看着眼前写下的结论,陈舟有一瞬间的恍惚。

随即,他拿出错题集,神情激动的翻到了最新的一页。

这上面,关于由数字金字塔引发的冰雹猜想研究的错误记录,全部消失了。

而原本厚厚的,陈舟所积累的错误记录,大部分也消失了。

“这就证明出来了?”

陈舟已经竭力克制自己的情绪了,但双手忍不住的还是颤抖着。

这可是世界级的难题啊!

陈舟怎么能不激动?!

nrd分析那个课题相比,冰雹猜想的研究难度,含金量,学术价值,都要大得多。

两者完全不是一个量级的东西。

又看了一眼,堆叠在桌子上的草稿纸,陈舟一瞬间被成就感填满了。

这个既属于抽象代数领域,又属于数论领域的冰雹猜想。

就这样,在燕大的图书馆,被他一个本科生,证明了出来。

察觉到身旁陈舟的异样,杨依依微微转头看了一眼陈舟,随后又将目光移向陈舟面前的草稿纸。

“……冰雹猜想的结论是正确的……”杨依依在心里默念了一遍草稿纸上的内容。

有那么一瞬间,她没有反应过来。

但马上,她再次看向陈舟“你证明出来了?”

陈舟看向身旁的女伴,重重的点了点头“搞定了!”

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

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

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

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

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

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

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

但最终都失败了。

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

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

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

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

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

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

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

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

但冰雹猜想的提出是在1937年,到今天也才过了不到一百年的时间。

要是按费马问题的历史时间算,也就是说,冰雹猜想需要到23世纪才能被解决。

可现在,冰雹猜想的证明结果,就在杨依依的眼前!

而完成冰雹猜想证明的人,就在她的身边!

她见证了历史!

虽然冰雹猜想的证明过程还躺在草稿纸上,她也无法确定这证明过程是否真的正确,但是她相信陈舟。

杨依依目光灼热的看着陈舟,她觉得这时的陈舟,真的越来越帅了!

陈舟伸了个懒腰,这几天,没日没夜的,每天奋战十好几个小时,真的是累啊。

还好这次的方向是正确的,也收获了他想要的结果。

更为关键的是那灵光一闪。

陈舟觉得自己是不是应该请客,出去搓一顿呢?

当然,在此之前,他肯定是得把论