第75章 急急急 (第2/3页)
议室里不知道谁长舒了一口气，也许是庆幸，也许是失望。
凌晨三点，他们终於开始接近整篇论文的核心。
晨曦的论文没有试图正面解决所有可能出现的复杂湍流结构。
它选了一条更数学化的道路，把可能导致有限时间奇点的结构不断压缩，最终压缩到一类高度受限的多尺度级联结构。
然後证明，如果这种结构持续向奇点演化，它就必须同时满足几组彼此不兼容的几何约束、能量约束和尺度约束。
「太精妙了！这一段没有直接阻止涡量的集中。
它的思路是，证明如果这种集中以足以形成奇点的速度持续，就会强迫另一个量进入一个不可能存在的区间！」
在第一组的语音里，已经有数学家对晨曦的证明赞不绝口了。
彼得·康斯坦丁用略微有些悲伤的语气说道：「我们最後证明了他们的论文是假的，但人工智慧也已经充分证明了自己在数学领域的能力。」
内茨·卡茨无奈道：「我们现在好像在做的事情是，证明它只是普通数学家，不是数学大师。」
陶哲轩没有说话，他在反向追踪依赖链。
很久之後，他才开口道：「所以核心并不是某一个单独的估计，是整个闭环。」
彼得康斯坦丁也反应过来了：「对。」
会议室里出现了沉默。
在此之前大家的想法是错误在哪里？
到了这一刻，他们不得不考虑另一种可能，这个证明有着一整套完整的核心思想。
这是人类数学大师才能做到的东西，人工智慧做到了。
到了凌晨4点，第三组返回了一整套完整的意见。
维克尔的笔记已经密密麻麻，巴克·马斯特列出了11处需要进一步确认的地方，德莱利斯列了7处。
他们开始拉小的视频会议，一条一条的过。
第一处解决，第二处解决，第三处正文表述有省略，但在形式化版本里补足了，第四处调用已有结果，第五处完整证明存在..
11处全部检查完之後，没有一处能够让整个证明失效。
维克尔靠在椅背上，颓然道，我像是看不到任何明显的致命漏洞。
快凌晨5点的时候，凯文巴扎德也给出了形式化部分的第一轮审计结果。
「他们的核心依赖链是闭环的，这套形式化证明的逻辑非常严密。」
所有人态度已经悄悄发生了变化，从最开始的「他错在哪里」，到後来的「这里是不是错了」，再到後来「这一段为什麽是对的」。
现在他们的问题变成了：「我们到底还有什麽办法把它证明成错的？」
陶哲轩出去倒了一杯水，倒水的时候顺便看了下自己的手机，手机上堆满了媒体的消息。
《纽约时报》、BBC、彭博社，还有不知道多少数学记者。
所有人的问题都差不多，是真的吗？
陶哲轩不知道怎麽回复。
他有种很奇怪的感觉。
自己现在在做的事情已经从验证这篇论文的真假，变成了带领人类数学家抵抗人工智慧数学家。
「抱歉，我还不知道。」
「抱歉，暂时还没有结果。」
「抱歉，它至少不是普通的错误证明。
一般的错误证明，好的能撑到第3页，复杂一点能撑几个小时，它已经撑过了一整晚。」
陶哲轩按照关系远近给记者们回复了一下。
然後合上手机，回到书房，继续工作。
他重新回到论文的第一页，整个文档已经被他标得乱七八糟。
各种颜色的记号，红的、蓝的、绿的，问号、箭头、页码。
最开始大量的批注都是：为什麽检查？这里有缺口，需要证明。
现在越来越多的问号旁边多了一行小字：「已解决。」
「见第**页第**引理。」
「已形式化。」
「常数与时间无关。」
「成立。」
又是一天过去，越来越多的问题被排除，剩下的都是难啃的硬骨头。
莫妮卡这个时候开口道：「我们是不是应该要对外说点什麽？」
「Terce，外界已经把你的回覆理解成N—S方程被解决了。」
「普林斯顿研究院也在对N—S方
（本章未完，请点击下一页继续阅读）