的算符和数字填满。

时间一分一秒的过去，堆在桌上的写满的稿纸越来越多。

趴在书架上的小艾，就这么悄咪咪地在旁边偷看着。自从陆舟禁止它随便乱开摄像头之后，只有无人机上这个摄像头它能够自由使用了。

虽然看着主人这么辛苦的样子有点儿心疼，但唯独这种创造性的工作，它实在是帮不上什么忙。

窗外的天色渐渐暗了下来。

伏在桌前的陆舟除了伸手开了下桌角的台灯之外，便再也没有除了计算之外的其他动作。

然而，情况似乎并没有向着更乐观的方向发展。

随着窗外的天色逐渐昏暗，不但那原本流畅的笔锋渐渐迟缓了起来，一颗颗汗珠也渐渐从陆舟的额前渗出。

情况似乎并没有他想象中的那么乐观。

越是深入研究到这个问题中，他便越是发现，隐藏在这个问题背后的迷宫究竟有多么的复杂。

“啊啊啊……真特么难搞！”

不知是第几次走进了死胡同，终于是沉不住气的陆舟瞬间化身暴躁老哥，将算到一半已经算不下去的草稿纸揉成了一团，使劲摔进了旁边的纸篓里。

“不对啊！如果命题是成立的，不至于我想了这么久还想不出来……”

手中的圆珠笔越转越快，眉头紧锁的陆舟死死地盯着最初的那个问题，嘴唇轻轻开合的念着。

“但奇怪的是，偏偏又证明不了命题是错的……无论带多少组参数进去，都能得出与命题吻合的结果。”

长出了一口气，陆舟一把捏住了转得飞快的笔，打开了放在桌角的电脑，登录到了文献数据库中，输入了几行关键词。

一排排检索到的论文，很快出现在他的面前。

选中了几个标签之后，按照引用次数进行排序，陆舟很快挑出几篇排名前几的论文。