第747章 你俩是亲姐妹？（2/2）

毕竟，莉娅·海森可是全球粉丝量数亿的存在。

李修远也没有打算靠这个打开话题、套近乎等等。

毕竟没必要，而且现在也有其他事情要做。

“好了，让我来看看吧。”

他走到罗莎身边，“我看看，那群教授们，今天到底给我布置了什么任务。”

听到这话，罗莎才恋恋不舍的从电脑桌上离开。

而当李修远返回U盘主页，打开排在第一位的“清单”文件时，他立刻愣住了。

上面只有一串简单的描述：

对于每一个正整数，如果它是奇数，则对它乘3再加1，如果它是偶数，则对它除以2，如此循环，最终都能够得到1。

“这特么......”

李修远一时间有些头大。

虽说他不是专门深耕数学界的，但大名鼎鼎的“考拉兹猜想”还是听说过的。

又叫“3n+1猜想”、“奇偶归一猜想”。

“天啊。”李修远捏了捏鼻梁，偏头看向凑在旁边，罗莎的小脸，“我说，罗莎。

那群教授不会是想让我在一天之内，证明或者证伪考拉兹猜想吧？”

此话一出，罗莎连忙摇头。

“怎么可能啊，要是那样的话，不是存心难为人吗？”

这样说着，罗莎将手叠在李修远手上，操控鼠标，点开

那是几篇论文。

“目前，考拉兹猜想最具权威性的结果之一是：

所有小于N的数，都满足考拉兹规则。

人类现如今的上限是，N等于2的68次方。

但这不能证明任何大小的数都能成立。

不过这带来一个猜想，就是再大的验证也不等于证明，所以不可能靠计算机硬算来证明。”

她继续往下翻了几页。

“把考拉兹迭代看成一个离散动力系统，数学家们想证明：所有轨道不会发散到无穷，或者除了4到2到1，没有非平凡循环。

只要证明了这两点，考拉兹猜想就结束了。”

李修远闻言点了点头。

“嗯，所以呢？”

“所以啊......”罗莎说道，“教授们的意思是，不需要你证明或者证伪，只需要在如今的研究结果的基础上，能够给出最新的进展，就可以了。”

李修远：“......”

好一个“只需要”啊。

他托着下巴，开始沉思。

罗莎知道，这种时候最不能打扰，于是一直不出声。

大约10分钟后。

李修远终于开口：“要想证明考拉兹猜想，在我看来需要三步。

第一步，找到一个随迭代严格下降的量。

因为只要这个量不能一直下降，数列的结果就必须停在1。

第二步，证明不存在一个数，让考拉兹序列永远变大。

这也是数学家们用超级计算机一直在做的事。

第三步，证明除了4到2到1，没有别的循环。”

他看向罗莎，面色依旧平静，语气却带着几分无奈：“然后教授们的意思，是要我在这三步当中的任意一步下，取得一个最新的进展？”

“额...哈哈哈...”罗莎这才意识到问题所在，“好像...确实是有些强人所难了哈......”

“唉。”

李修远闻言，无奈的叹了口气。

就当罗莎以为，李修远是要主动放弃的时候，李修远却开口：“一天时间，是太仓促了，但并非不可能。”

“啊？”

罗莎闻言吓了一跳。

她已经很高估这个伊森前辈了。

但现在看来，还是低估了吗！？

他竟然说......并非不可能！？