所谓的定理1，便是他在论文中，定义的哥德巴赫猜想的数学表述。
即，给定一个充分大的偶数N，存在素数P1和P2，满足N=P1+P2。
与之类似的便是陈氏定理N=P1+P2·P3，以及一系列关于P（a，b）的定理。
当然了，虽然现在在他的论文中，这条公式被称为定理1，但也许要不了多久，等数学界普遍接受了他的证明过程，这条定理兴许便会升级为“陆式定理”之类的东西。
不过，这种重大的数学猜想审稿周期一般会比较长。
佩雷尔曼证明庞加莱猜想的论文用了三年才被数学界认可，望月新一关于ABC猜想的证明因为掺杂了大量的“神秘术语”，审稿门槛至少也得先读懂他的“宇宙纪理论”才算是入门，所以直到现在也没有人看完，预计未来也很困难。
一个重大猜想的审稿速度，很大程度上取决于这一命题的热度，以及这项工作究竟“新”到了什么程度。
在证明孪生素数定理时，陆舟并没有运用到特别新颖的理论，只是在泽尔贝格教授95年发表的那篇论文中提到的拓扑学方法进行了创新，已经研究过这篇论文的人，便可以很快了解到他做了哪些工作。
而证明波利尼亚克-陆定理的论文，审稿周期明显就拉长了一大截。
即便他的群构法在孪生素数定理的证明中已经有所体现，但其中魔改的成分也使得它远远偏离了筛法的范畴，即使审稿人是德利涅这种大牛，也用了不少时间才下最后的定论。
而这篇关于哥德巴赫猜想证明的论文，陆舟一共写了五十页，而其中更是至少花了一半的篇幅，去论述他为整个证明搭建的理论框架。
这一部分的工作，甚至可以单独作为一篇论文发表了。
很大程度上他的审稿周期，取决于别人对他提出的理论框架的兴趣，以及对他所提出的理论框架的接受程度。
至于具体需要多久，就不是他能控制的了。
其实陆舟以前就在思考，系统对于任务完成的判定标准，究竟是什么。
如果他对一个定理完成了证明，但十年甚至是几十年，也无人认可他的工作，是否意味着他的任务就得卡上这么久？
而且最让他不理解的是，既然系统的数据库中储存着庞大的数据，那么它必定来自一个高等文明——至少这个文明比地球上的文明要发达。