第235章 证明哥猜!(1/2)
作者:晨星LL
    窗外的天蒙蒙亮。

    趴在书桌上的陆舟,缓缓睁开了双眼。

    揉了揉有些酸涩的眉心,他看向了放在桌角的日历。

    都五月份了啊……

    陆舟有些头疼地晃了晃脑袋。

    从他2月份来普林斯顿到现在,几乎一大半的时间都呆在这间十平米的房子里,除了开车去超市买菜之外,他基本上都没有出过门。

    最让他心疼的是那张5000美元的俱乐部卡,他甚至都没用过几次。

    从领取那个任务之后,这将近半年的时间里,他一直在挑战哥德巴赫猜想。

    如今,这一切总算是有个结果了。

    深呼吸了一口气,陆舟从椅子上站了起来。

    走到了最后一步的他,反而不那么着急了。

    哼着小曲走进厨房,给自己弄了点吃的,陆舟甚至从冰箱里拿出了一支香槟,打开瓶盖给自己倒上。

    香槟是两个月前就买好的,为的就是这一刻。

    安静地享用完这顿晚餐,陆舟从容不迫地去厨房洗了个手,然后回到了书桌前,开始为自己这一段时间的工作做个收尾。

    越过了将近五十页的论文纸,他在昨天未写完便沉沉睡去的地方,提笔继续写道。

    ……显见,我们有12pxx,

    ……由式30、引理8、引理9、引理10,可证明定理1成立。

    所谓的定理1,便是他在论文中,定义的哥德巴赫猜想的数学表述。

    即,给定一个充分大的偶数n,存在素数p1和p2,满足np1p2。

    与之类似的便是陈氏定理np1p2p3,以及一系列关于pa,b的定理。

    当然了,虽然现在在他的论文中,这条公式被称为定理1,但也许要不了多久,等数学界普遍接受了他的证明过程,这条定理兴许便会升级为“陆式定理”之类的东西。

    不过,这种重大的数学猜想审稿周期一般会比较长。

    佩雷尔曼证明庞加莱猜想的论文用了三年才被数学界认可,望月新一关于ab猜想的证明因为掺杂了大量的“神秘术语”,审稿门槛至少也得先读懂他的“宇宙纪理论”才算是入门,所以直到现在也没有人看完,预计未来也很困难。

    一个重大猜想的审稿速度,很大程度上取决于这一命题的热度,以及这项工作究竟“新”到了什么程度。

    在证明孪生素数定理时,陆舟并没有运用到特别新颖的理论,只是在泽尔贝格教授95年发表的那篇论文中提到的拓扑学方法进行了创新,已经研究过这篇论文的人,便可以很快了解到他做了哪些工作。

    而证明波利尼亚克陆定理的论文,审稿周期明显就拉长了一大截。

    即便他的群构法在孪生素数定理的证明中已经有所体现,但其中魔改的成分也使得它远远偏离了筛法的范畴,即使审稿人是德利涅这种大牛,也用了不少时间才下最后的定论。

    而这篇关于哥德巴赫猜想证明的论文,陆舟一共写了五十页,而其中更是至少花了一半的篇幅,去论述他为整个证明搭建的理论框架。

    这一部分的工作,甚至可以单独作为一篇论文发表了。

    很大程度上他的审稿周期,取决于别人对他提出的理论框架的兴趣,以及对他所提出的理论框架的接受程度。

    至于具体需要多久,就不是他能控制的了。

    其实陆舟以前就在思考,系统对于任务完成的判定标准,究竟是什么。

    如果他对一个定理完成了证明,但十年甚至是几十年,也无人认可他的工作,是否意味着他的任务就得卡上这么久?

    而且最让他不理解的是,既然系统的数据库中储存着庞大的数据,那么它必定来自一个高等文明至少这个文明比地球上的文明要发达。
第235章 证明哥猜!(2/2) 点击下一页继续阅读。