「太精妙了！这一段没有直接阻止涡量的集中。
它的思路是，证明如果这种集中以足以形成奇点的速度持续，就会强迫另一个量进入一个不可能存在的区间！」
在第一组的语音里，已经有数学家对晨曦的证明赞不绝口了。
彼得·康斯坦丁用略微有些悲伤的语气说道：「我们最後证明了他们的论文是假的，但人工智慧也已经充分证明了自己在数学领域的能力。」
内茨·卡茨无奈道：「我们现在好像在做的事情是，证明它只是普通数学家，不是数学大师。」
陶哲轩没有说话，他在反向追踪依赖链。
很久之後，他才开口道：「所以核心并不是某一个单独的估计，是整个闭环。」
彼得康斯坦丁也反应过来了：「对。」
会议室里出现了沉默。
在此之前大家的想法是错误在哪里？
到了这一刻，他们不得不考虑另一种可能，这个证明有着一整套完整的核心思想。
这是人类数学大师才能做到的东西，人工智慧做到了。
到了凌晨4点，第三组返回了一整套完整的意见。
维克尔的笔记已经密密麻麻，巴克·马斯特列出了11处需要进一步确认的地方，德莱利斯列了7处。
他们开始拉小的视频会议，一条一条的过。
第一处解决，第二处解决，第三处正文表述有省略，但在形式化版本里补足了，第四处调用已有结果，第五处完整证明存在..
11处全部检查完之後，没有一处能够让整个证明失效。
维克尔靠在椅背上，颓然道，我像是看不到任何明显的致命漏洞。
快凌晨5点的时候，凯文巴扎德也给出了形式化部分的第一轮审计结果。
「他们的核心依赖链是闭环的，这套形式化证明的逻辑非常严密。」
所有人态度已经悄悄发生了变化，从最开始的「他错在哪里」，到後来的「这里是不是错了」，再到後来「这一段为什麽是对的」。
现在他们的问题变成了：「我们到底还有什麽办法把它证明成错的？」
陶哲轩出去倒了一杯水，倒水的时候顺便看了下自己的手机，手机上堆满了媒体的消息。
《纽约时报》、BBC、彭博社，还有不知道多少数学记者。
所有人的问题都差不多，是真的吗？
陶哲轩不知道怎麽回复。
…。。