第502章 哥猜的正确打开方式

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

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

因为这个缺陷，来自于分布解构法！

是陈舟最为熟悉的内容！

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

而此刻陈舟所发现的，哈洛德·贺欧夫