第747章 你俩是亲姐妹?

这样说着,罗莎将手叠在李修远手上,操控鼠标,点开下面的几个文件。

那是几篇论文。

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

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

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

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

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

她继续往下翻了几页。

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

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

李修远闻言点了点头。

“嗯,所以呢?”

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

李修远:“......”

好一个“只需要”啊。

他托着下巴,开始沉思。

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

大约10分钟后。

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

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

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

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

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

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

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

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

“唉。”

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

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

“啊?”

罗莎闻言吓了一跳。

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

但现在看来,还是低估了吗!?

他竟然说......并非不可能!?