他有种很奇怪的感觉。
自己现在在做的事情已经从验证这篇论文的真假，变成了带领人类数学家抵抗人工智慧数学家。
「抱歉，我还不知道。」
「抱歉，暂时还没有结果。」
「抱歉，它至少不是普通的错误证明。
一般的错误证明，好的能撑到第3页，复杂一点能撑几个小时，它已经撑过了一整晚。」
陶哲轩按照关系远近给记者们回复了一下。
然後合上手机，回到书房，继续工作。
他重新回到论文的第一页，整个文档已经被他标得乱七八糟。
各种颜色的记号，红的、蓝的、绿的，问号、箭头、页码。
最开始大量的批注都是：为什麽检查？这里有缺口，需要证明。
现在越来越多的问号旁边多了一行小字：「已解决。」
「见第**页第**引理。」
「已形式化。」
「常数与时间无关。」
「成立。」
又是一天过去，越来越多的问题被排除，剩下的都是难啃的硬骨头。
莫妮卡这个时候开口道：「我们是不是应该要对外说点什麽？」
「Terce，外界已经把你的回覆理解成N—S方程被解决了。」
「普林斯顿研究院也在对N—S方程的证明进行验证，同时他们还在开展其他九十九篇论文的验证。
其中已经有三篇都被证明是真的了。」
最後陶哲轩写了一份公开说明：「我们对晨曦科技公开的N—S方程证明进行了第一轮的非正式检查...」
「截至目前为止，我们没有发现任何一个能够使这份证明失效的明确错误。
这不应该被解读为数学界已经完成了对该证明的验证，但从目前看到的内容而言，这
是一份需要数学界极其认真对待的工作。」
声明一出，全球社交媒体自动把这一段充满限制条件的数学家语言压缩成了一句话：「陶哲轩：暂时没找到错误。」
在这一轮数学核爆领域，最急的其实不是数学家，最急的是山姆·奥特曼。
科技圈已经炸开锅了。
矽谷的群聊、投资机构、人工智慧的实验室...
所有人都在讨论一个问题，如果CX真的独立解决了NS方程，那这件事意味着什麽？
过去大家围绕「
…。。