第75章 急急急

第75章 急急急 (第2/2页)

快凌晨5点的时候，凯文巴扎德也给出了形式化部分的第一轮审计结果。
　　
　　「他们的核心依赖链是闭环的，这套形式化证明的逻辑非常严密。」
　　
　　所有人态度已经悄悄发生了变化，从最开始的「他错在哪里」，到後来的「这里是不是错了」，再到後来「这一段为什麽是对的」。
　　
　　现在他们的问题变成了：「我们到底还有什麽办法把它证明成错的？」
　　
　　陶哲轩出去倒了一杯水，倒水的时候顺便看了下自己的手机，手机上堆满了媒体的消息。
　　
　　《纽约时报》、BBC、彭博社，还有不知道多少数学记者。
　　
　　所有人的问题都差不多，是真的吗？
　　
　　陶哲轩不知道怎麽回复。
　　
　　他有种很奇怪的感觉。
　　
　　自己现在在做的事情已经从验证这篇论文的真假，变成了带领人类数学家抵抗人工智慧数学家。
　　
　　「抱歉，我还不知道。」
　　
　　「抱歉，暂时还没有结果。」
　　
　　「抱歉，它至少不是普通的错误证明。
　　
　　一般的错误证明，好的能撑到第3页，复杂一点能撑几个小时，它已经撑过了一整晚。」
　　
　　陶哲轩按照关系远近给记者们回复了一下。
　　
　　然後合上手机，回到书房，继续工作。
　　
　　他重新回到论文的第一页，整个文档已经被他标得乱七八糟。
　　
　　各种颜色的记号，红的、蓝的、绿的，问号、箭头、页码。
　　
　　最开始大量的批注都是：为什麽检查？这里有缺口，需要证明。
　　
　　现在越来越多的问号旁边多了一行小字：「已解决。」
　　
　　「见第**页第**引理。」
　　
　　「已形式化。」
　　
　　「常数与时间无关。」
　　
　　「成立。」
　　
　　又是一天过去，越来越多的问题被排除，剩下的都是难啃的硬骨头。
　　
　　莫妮卡这个时候开口道：「我们是不是应该要对外说点什麽？」
　　
　　「Terce，外界已经把你的回覆理解成N—S方程被解决了。」
　　
　　「普林斯顿研究院也在对N—S方程的证明进行验证，同时他们还在开展其他九十九篇论文的验证。
　　
　　其中已经有三篇都被证明是真的了。」
　　
　　最後陶哲轩写了一份公开说明：「我们对晨曦科技公开的N—S方程证明进行了第一轮的非正式检查...」
　　
　　「截至目前为止，我们没有发现任何一个能够使这份证明失效的明确错误。
　　
　　这不应该被解读为数学界已经完成了对该证明的验证，但从目前看到的内容而言，这
　　
　　是一份需要数学界极其认真对待的工作。」
　　
　　声明一出，全球社交媒体自动把这一段充满限制条件的数学家语言压缩成了一句话：「陶哲轩：暂时没找到错误。」
　　
　　在这一轮数学核爆领域，最急的其实不是数学家，最急的是山姆·奥特曼。
　　
　　科技圈已经炸开锅了。
　　
　　矽谷的群聊、投资机构、人工智慧的实验室...
　　
　　所有人都在讨论一个问题，如果CX真的独立解决了NS方程，那这件事意味着什麽？
　　
　　过去大家围绕「人工智慧是否已经开始具备真正数学研究能力」的所有讨论都没有意义了。
　　
　　他们当时讨论的是奥赛题、本科数学、研究生数学、定理的辅助证明。
　　
　　现在晨曦科技直接往桌子上拍了100篇论文，第一篇就是千禧年问题。
　　
　　双方根本就不在一个技术阶段。
　　
　　山姆·奥特曼紧急公关，找来和自己关系不错的头部播客主持人。
　　
　　聊到中途，主持人非常自然地把话题切换到晨曦科技：「我们得谈谈CX。」
　　
　　主持人把平板放在桌上，上面是陶哲轩发布的声明。
　　
　　「现在的情况是Terce和一批顶尖数学家已经检查了很长时间。
　　
　　普林斯顿数学研究院和巴黎数学研究院都陆续出来发表声明了，他们都没能从验证上找到明显错误。
　　
　　外界有观点认为，CX可能是第一个真正意义上的超级数学人工智慧，你怎麽看？」
　　
　　山姆·奥特曼回答道：「我认为这里有两个问题被混在了一起！
　　
　　第一个问题，这些数学成果是不是真的？
　　
　　第二个问题，这些成果是不是由CX独立做出来的？
　　
　　因为N—S方程被证明的消息太过于震撼，导致大家都忘了第二个问题。
　　
　　所有人都非常兴奋，我也能理解，如果人工智慧真的独立证明了NS方程，这是历史性事件。
　　
　　我可以这麽说，这比绝大多数人想像的更加重要。
　　
　　但问题在於，我们并不知道整个证明过程。
　　
　　晨曦及科技公开了形式化证明。
　　
　　这只是证明了结果可以被验证，但它没有证明是由谁想出来的。
　　
　　这是两个完全不同的问题，他很有可能是Chen本人完成了一篇证明。
　　
　　然後让CX把它整理成论文，补充形式化验证，然後生成不同版本的推导，最後由系统发布。
　　
　　所以我们会看到，我们得到了一份由CX输出的完美论文，但我们不能说人工智慧独立发现了这个证明。」
　　
　　主持人问：「你的意思是，Chen本人是隐藏的人类环节？」
　　
　　山姆·奥特曼不假思索道：「对！这是最合理的替代解释。
　　
　　我不相信CX比我们领先这麽多。
　　
　　我也不相信短期内人工智慧能做到这一点。」
　　
　　节目播到这里，直播间的评论跟疯了一样刷新。
　　
　　「XDDDDDD」
　　
　　「一直鼓吹人工智慧无所不能的山姆·奥特曼开始公开说人工智慧其实也不行了。」
　　
　　「太逗了，不是一般的急。」
　　
　　「0penAI要是输了这一仗，那就什麽都没有了啊！」
　　
　　「山姆你现在要做的不是怀疑CX怎麽做到的，而是紧急找数学家买成果，然後说这是ChatGPT做出来的！」
　　
　　「对啊，CX可以，你们也行！」
　　
　　「经典人类偷偷帮AI。」
　　
　　「的往事被想起了，经典界面是机器人，背後是人XDDD」
　　
　　（PS：所谓AI一键做App，後端大量是印度工程团队手工写代码。）
　　
　　「可问题是，晨曦科技一口气发布了一百篇论文，每一篇都是菲尔兹奖级别的成果。
　　
　　如果只是一篇，我们可以说人做的，但100篇菲尔兹奖级别，这可能吗？」