学霸从改变开始 第387章

作者:一白化贝

通过对诺特发来的手稿资料的研究,陈舟意外找到了那临门一脚的灵感。

代数女王的手稿,为他带来了好运。

这也是那晚开着视频,杨依依却没有打断陈舟,反而陪着他研究到半夜的原因。

即使那会的陈舟,已经熬过一个通宵了。

此后,陈舟经过短暂的休息过,就采取了完全的闭关模式。

也就是手机关机,聊天软件全部断开。

与外界处在暂时的失联状态。

将全部的精力,都放在了哥德巴赫猜想最后的攻坚战上面。

虽然前面有一个领先自己半步的数学家。

而且不知道什么时候,对方就能够把哥德巴赫猜想完全解决。

大概率还比自己要快上一些。

而自己的研究,很可能变得毫无价值。

但那又怎么样?

在陈舟寻找到那转瞬即逝的灵感时,他早就不在乎这些了。

他只想通过自己的方式,去解决哥猜这个横亘了近三百年的难题。

他只想将最终的答案,书写在自己的草稿纸上。

把那个已经再次厚起来的错题集,变得薄一些。

就这样,闭关的陈舟,寻着那一丝从手稿中得到的灵感,开始了没日没夜的爆肝研究。

实在困了,能回床上,就回床上。

回不去的话,就直接趴在书桌上睡一会。

醒了之后,再继续。

在陈舟的眼里,脑海里,除了哥德巴赫猜想的内容,再无其他。

所谓的时间观念,也早不知道被抛到了哪里。

直到今天,陈舟终于完成了哥德巴赫猜想的证明!

也完成了整个长达101页的证明论文!

也只有完成之后,刚才伸懒腰的那会,陈舟才猛然感觉到好累。

在完成了哥猜的证明之后,陈舟第一时间想的,也是赶紧上传到预印本网站e-Print arXiv上。

先把这个坑给占好了再说。

毕竟,这个课题不同以往,是有着直接竞争者的。

这会的陈舟,是并不知道哈洛德·贺欧夫各特已经上传了第三篇论文的。

所以在登陆网站时,他还很纳闷。

怎么平常还算流畅的网站,今天会这么卡?

等到登上去之后,他立马就明白了。

同时,陈舟的心里也咯噔了一下。

难道自己没日没夜拼出来的研究成果,还是晚了吗?

于是,陈舟暂时放下了自己打算上传的论文,转而开始搜索哈洛德·贺欧夫各特所上传的第三篇论文。

花了好一阵功夫,陈舟才将这第三篇论文下载下来。

随即,陈舟便打开论文,看了起来。

这篇论文确实是哈洛德·贺欧夫各特的最终论文。

这篇论文的结果,也确实写着证明了哥德巴赫猜想成立。

所以,陈舟在扫完关键词和摘要时,只感觉心里哇凉哇凉的。

心想这次是真的做无用功了,彻底完了……

看着电脑上的论文,陈舟顶着严重黑眼圈的眼睛,愈发显得没有了神采。

轻叹了口气,陈舟准备验证这篇论文中的内容。

这也是他现在唯一翻盘的机会了。

如果最后验证的结果,没有问题的话。

那陈舟确确实实,就是输了。

哥德巴赫猜想研究的历史上,不会有他陈舟名字。

可是,一旦最后验证的结果,论文里的证明有缺陷的话。

那陈舟的机会,也就来了。

当然,这个缺陷,还不能小才行。

随着陈舟对论文验证的推进,他原本跌到谷底的心,又逐渐站了起来。

他竟然真的发现了论文中的缺陷!

而且在陈舟的角度来看,这个缺陷,不可修复!

因为这个缺陷,来自于分布解构法!

是陈舟最为熟悉的内容!

通常,一个证明被提出之后,是必须要经过仔细的检查和验证,才可能被承认。

就拿怀尔斯当初证明费马猜想来说。

怀尔斯是向数学四大期刊之一的《数学新进展》,提交了长达200页的证明的。

该期刊的编辑,随后便将这份手稿分发给了6位审稿人。

其中一位,是普林斯顿大学的数学家尼克。

他和同事一起,花了两个月时间,仔细检查了所负责部分的每个逻辑环节。

每当他们遇到一些无法理解的论证时,便会给怀尔斯发邮件。

而怀尔斯会及时回复邮件,澄清问题。

但到了8月底,怀尔斯对一个问题的解释,却无法说服两位审稿人。

在进一步研究后,怀尔斯发现,这个问题是数学逻辑框架中的一个缺陷!

起初,怀尔斯认为简单的修复,应该是可行的。

但当他着手修复缺陷时,逻辑框架的碎片,瞬间开始脱落。

怀尔斯立马意识到,这不只是一个浅显简单的失误,它甚至可能超出一个可修复缺陷的范畴!

如果这真的是一道裂缝,一个无法修补的缺陷,那将使得整个大定理的证明,崩塌殆尽!

然而,直到1993年12月,距剑桥演讲已经过去了6个月的时间,怀尔斯也没能修复这个缺陷。

这个数学界等待了几个世纪的证明,在他的身后,摇摇欲坠。

也因为时间拖得太长,最终审稿无法完成,外界关于怀尔斯根本没有证明费马大定理的流言,开始流传开来。

数学家们也开始要求他公开论文原稿,如果存在错误,同行们寄希望于某个人能魔术般地,看清并修复这些缺陷。

只不过,怀尔斯不准备让他人,轻易攫取这份荣誉。

怀尔斯就像陈舟那样,开启了证明前的“闭关”模式。

这样做的目的,一个是让自己回到那种最初的状态,好全力去修复这个缺陷。

另一个就是,避免受到外界的打扰。

因为随着时间的推移,人们的想法已经变成了,怀尔斯必须要证明费马大定理,如果不证明出来,那他必然将会有大麻烦。

只不过,即使是重新回到了最初的那种状态,怀尔斯一时也无法完成论文中缺陷的修复。

最终,怀尔斯在好友的劝说下,邀请了他以前的学生,已经成为剑桥大学著名数论学家的泰勒,一起修复论文中的缺陷。

整个春季到夏季,怀尔斯和泰勒一直在工作,甚至常常在深夜里,通过电话进行长时间讨论。

他们也从最初的“局部化处理”,尝试对怀尔斯不完备证明中使用的方法,进行小的改良,从而修正错误。

发展到了“扩大范围,撒张更大的网,来找寻其他的方法”的情况。

但是,直到1994年9月,迈过了春夏两季的他们,仍然没有任何进展。

这时的怀尔斯,也已经准备向世界承认自己的失败了。

只不过,上帝在怀尔斯向世界承认失败的前一刻,将幸运降临给了他。

怀尔斯决定最后再检查一次,他最初证明费马猜想所使用的方法和结构。

他试图确切地找出那个数学逻辑框架不能奏效的原因,至少失败也得让他失败的明明白白才行。

也就是在这种情况下,突然之间,完全出乎意料的,怀尔斯有了一个难以置信的发现。

他在曾经失败的数学方法中,找到了三年前自己放弃的方法,也就是“岩泽理论”。

“岩泽理论”原本是用来证明另一个猜想的工具,而此刻,怀尔斯用它彻底弥补了数学逻辑框架里的那个致命缺陷。

也正是凭借着这一理论,怀尔斯和泰勒很快就在几个星期内,修复了论文中的漏洞。

在时隔两年之久的1995年5月,他们在《数学年刊》上发布了集合所有工作的两篇论文,包括最终的证明,以及附带的讨论,一共长达130页。

由此可见,越是重大的证明,所需要经受的检查和验证,也越是严谨。

毕竟,数学是一门发展数千年的学科,如果让错误的证明,成为砖瓦,那这门学科的千年大厦,说不定哪天就倒了。

不过,对于怀尔斯来说,虽然花费了很长的时间,这个过程也是惊心动魄的,但这终归是一个可修复的缺陷。

怀尔斯仍然完成了费马大定理的证明,也经受住了数学界的检查和验证。

他的证明,是被数学界所承认的。

而此刻陈舟所发现的,哈洛德·贺欧夫各特在论文中的缺陷,却是无法修复和弥补的。

也不可能有什么“岩泽理论”,能够拯救这篇论文。

当然,陈舟为了确定不是自己一时激动,把验证方法搞错了。

他还特意又重新检查,并且验证了数遍。

同时,错题集这一神器,也被陈舟巧妙的运用了一下。

错题集上,不仅记录了陈舟所验证的错误,更是增厚了许多。

这也从侧面说明了,就算是陈舟自己,对于哈洛德·贺欧夫各特论文中,运用分布解构法时所具有的缺陷,也是没能修复的。

分布解构法的诞生,源于陈舟证明克拉梅尔定理。

当时从概率论、正态分布等等方面入手,结合筛法和圆法等解析数论的数学工具,最终才创造出分布解构法。

而哈洛德·贺欧夫各特在自己的论文中,却忽视了分布解构法中的一个最基本的数学逻辑问题。

这个数学逻辑结构,远远比怀尔斯碰到的还要命。

因为这个数学逻辑结构,直接关系到的是分布解构法的核心逻辑。

说白了,就是这个数学逻辑结构,一旦忽视了,那分布解构法也就不存在了。

既然分布解构法都不存在了,那这证明从何而来?

也有可能不是哈洛德·贺欧夫各特忽视了这一数学逻辑结构。

只是如陈舟所说的,他太心急了。

毕竟,先前那连续的两篇论文,已经将这件事抬到了一个非比寻常的高度。

如果他没有像陈舟这样选择性的“失联闭关”,那么他是很有可能受到外界干扰的。

不管怎么说,这都是困扰数学界数百年的难题啊!

但是话又说回来,如果不是哈洛德·贺欧夫各特的心急,现在的情况,到底如何,谁也不知道。

但现在,验证完这一致命缺陷的陈舟,已经掌握了绝对的主动权。