第372章 彻底证明！（加更）
读一本书，过一段人生。
  一黑一蓝，两人从白板的两端，开始向中央那片空白逼近。
  ……
  这个过程，令人窒息。
  因为这两个模块，是在过去整整一个月的时间里，由两个人在完全分开的空间里、独立推导完成的。
  虽然之前进行过一次接口调试，虽然那三个漏洞已经被一一修补，但那次调试只是局部的、基於边界条件的校验。
  今天，他们要进行的，是全局的、底层的逻辑咬合。
  如果在这最后的对接中，有某个极其隱蔽的、隱藏在数百行推导最深处的底层假设，悄悄地、以某种不可察觉的方式產生了错位——
  比如，拉福格在跡公式的谱展开中使用的某个局部测度归一化，和徐辰在对称摺叠算子中使用的全局共軛约定，差了一个微小的共軛符號——
  整个证明就会在最后这一步，轰然坍塌。
  ……
  在数学史上，这种“倒在最后一毫米”的悲剧，简直数不胜数。
  最著名的例子，莫过於当年安德鲁·怀尔斯在证明费马大定理时的那次“世纪大翻车”。
  1993年，怀尔斯在剑桥大学做了一连三天的报告，向全世界宣布他证明了费马大定理。整个数学界为之沸腾。然而，就在几个月后的同行评审阶段，审稿人发现，他在处理“科利瓦金-弗莱切欧拉系统”时，有一个微小的上界估计出现了逻辑断层。
  就因为这一个微小的裂缝，整个长达两百页的证明瞬间崩塌！
  怀尔斯被迫闭关了整整一年，经歷了无数次绝望的尝试，甚至一度想要放弃，最后才在学生理察·泰勒的帮助下，十分惊险地补上了这个漏洞。