毕竟,这个课题不同以往,是有着直接竞争者的。
这会的陈舟,是并不知道哈洛德·贺欧夫各特已经上传了第三篇论文的。
所以在登陆网站时,他还很纳闷。
怎么平常还算流畅的网站,今天会这么卡?
等到登上去之后,他立马就明白了。
同时,陈舟的心里也咯噔了一下。
难道自己没日没夜拼出来的研究成果,还是晚了吗?
于是,陈舟暂时放下了自己打算上传的论文,转而开始搜索哈洛德·贺欧夫各特所上传的第三篇论文。
花了好一阵功夫,陈舟才将这第三篇论文下载下来。
随即,陈舟便打开论文,看了起来。
这篇论文确实是哈洛德·贺欧夫各特的最终论文。
这篇论文的结果,也确实写着证明了哥德巴赫猜想成立。
所以,陈舟在扫完关键词和摘要时,只感觉心里哇凉哇凉的。
心想这次是真的做无用功了,彻底完了……
看着电脑上的论文,陈舟顶着严重黑眼圈的眼睛,愈发显得没有了神采。
轻叹了口气,陈舟准备验证这篇论文中的内容。
这也是他现在唯一翻盘的机会了。
如果最后验证的结果,没有问题的话。
那陈舟确确实实,就是输了。
哥德巴赫猜想研究的历史上,不会有他陈舟名字。
可是,一旦最后验证的结果,论文里的证明有缺陷的话。
那陈舟的机会,也就来了。
当然,这个缺陷,还不能小才行。
随着陈舟对论文验证的推进,他原本跌到谷底的心,又逐渐站了起来。
他竟然真的发现了论文中的缺陷!
而且在陈舟的角度来看,这个缺陷,不可修复!
因为这个缺陷,来自于分布解构法!
是陈舟最为熟悉的内容!
通常,一个证明被提出之后,是必须要经过仔细的检查和验证,才可能被承认。
就拿怀尔斯当初证明费马猜想来说。
怀尔斯是向数学四大期刊之一的《数学新进展》,提交了长达200页的证明的。
该期刊的编辑,随后便将这份手稿分发给了6位审稿人。
其中一位,是普林斯顿大学的数学家尼克。
他和同事一起,花了两个月时间,仔细检查了所负责部分的每个逻辑环节。
每当他们遇到一些无法理解的论证时,便会给怀尔斯发邮件。
而怀尔斯会及时回复邮件,澄清问题。
但到了8月底,怀尔斯对一个问题的解释,却无法说服两位审稿人。
在进一步研究后,怀尔斯发现,这个问题是数学逻辑框架中的一个缺陷!
起初,怀尔斯认为简单的修复,应该是可行的。
但当他着手修复缺陷时,逻辑框架的碎片,瞬间开始脱落。