看，这个缺陷，不可修复！
因为这个缺陷，来自于分布解构法！
是陈舟最为熟悉的内容！
通常，一个证明被提出之后，是必须要经过仔细的检查和验证，才可能被承认。
就拿怀尔斯当初证明费马猜想来说。
怀尔斯是向数学四大期刊之一的《数学新进展》，提交了长达200页的证明的。
该期刊的编辑，随后便将这份手稿分发给了6位审稿人。
其中一位，是普林斯顿大学的数学家尼克。
他和同事一起，花了两个月时间，仔细检查了所负责部分的每个逻辑环节。
每当他们遇到一些无法理解的论证时，便会给怀尔斯发邮件。
而怀尔斯会及时回复邮件，澄清问题。
但到了8月底，怀尔斯对一个问题的解释，却无法说服两位审稿人。
在进一步研究后，怀尔斯发现，这个问题是数学逻辑框架中的一个缺陷！
起初，怀尔斯认为简单的修复，应该是可行的。
但当他着手修复缺陷时，逻辑框架的碎片，瞬间开始脱落。
怀尔斯立马意识到，这不只是一个浅显简单的失误，它甚至可能超出一个可修复缺陷的范畴！
如果这真的是一道裂缝，一个无法修补的缺陷，那将使得整个大定理的证明，崩塌殆尽！
然而，直到1993年12月，距剑桥演讲已经过去了6个月的时间，怀尔斯也没能修复这个缺陷。
这个数学界等待了几个世纪的证明，在他的身后，摇摇欲坠。
也
第502章 哥猜的正确打开方式(4/9)