法师归来，速通地球！ 第191节
“抱歉，我还不知道。”
“抱歉，暂时还没有结果。”
“抱歉，它至少不是普通的错误证明。
一般的错误证明，好的能撑到第3页，复杂一点能撑几个小时，它已经撑过了一整晚。”
陶哲轩按照关系远近给记者们回复了一下。
然后合上手机，回到书房，继续工作。
他重新回到论文的第一页，整个文档已经被他标得乱七八糟。
各种颜色的记号，红的、蓝的、绿的，问号、箭头、页码。
最开始大量的批注都是：为什么检查？这里有缺口，需要证明。
现在越来越多的问号旁边多了一行小字：
“已解决。”
“见第**页第**引理。”
“已形式化。”
“常数与时间无关。”
“成立。”
又是一天过去，越来越多的问题被排除，剩下的都是难啃的硬骨头。
莫妮卡这个时候开口道：“我们是不是应该要对外说点什么？”
“Terce，外界已经把你的回复理解成N-S方程被解决了。”
“普林斯顿研究院也在对N-S方程的证明进行验证，同时他们还在开展其他九十九篇论文的验证。
其中已经有三篇都被证明是真的了。”
最后陶哲轩写了一份公开说明：“我们对晨曦科技公开的N-S方程证明进行了第一轮的非正式检查...”
“截至目前为止，我们没有发现任何一个能够使这份证明失效的明确错误。
这不应该被解读为数学界已经完成了对该证明的验证，但从目前看到的内容而言，这是一份需要数学界极其认真对待的工作。”
声明一出，全球社交媒体自动把这一段充满限制条件的数学家语言压缩成了一句话：
“陶哲轩：暂时没找到错误。”
......
在这一轮数学核爆领域，最急的其实不是数学家，最急的是山姆��奥特曼。
科技圈已经炸开锅了。
硅谷的群聊、投资机构、人工智能的实验室...
所有人都在讨论一个问题，如果CX真的独立解决了NS方程，那这件事意味着什么？
过去大家围绕“人工智能是否已经开始具备真正数学研究能力”的所有讨论都没有意义了。
他们当时讨论的是奥赛题、本科数学、研究生数学、定理的辅助证明。
现在晨曦科技直接往桌子上拍了100篇论文，第一篇就是千禧年问题。
双方根本就不在一个技术阶段。
山姆��奥特曼紧急公关，找来和自己关系不错的头部播客主持人。
聊到中途，主持人非常自然地把话题切换到晨曦科技：“我们得谈谈CX。”
主持人把平板放在桌上，上面是陶哲轩发布的声明。
“现在的情况是Terce和一批顶尖数学家已经检查了很长时间。
普林斯顿数学研究院和巴黎数学研究院都陆续出来发表声明了，他们都没能从验证上找到明显错误。
外界有观点认为，CX可能是第一个真正意义上的超级数学人工智能，你怎么看？”
山姆��奥特曼回答道：“我认为这里有两个问题被混在了一起！
第一个问题，这些数学成果是不是真的？
第二个问题，这些成果是不是由CX独立做出来的？
因为N-S方程被证明的消息太过于震撼，导致大家都忘了第二个问题。
所有人都非常兴奋，我也能理解，如果人工智能真的独立证明了NS方程，这是历史性事件。
我可以这么说，这比绝大多数人想象的更加重要。
但问题在于，我们并不知道整个证明过程。
晨曦及科技公开了形式化证明。
这只是证明了结果可以被验证，但它没有证明是由谁想出来的。
这是两个完全不同的问题，他很有可能是Chen本人完成了一篇证明。
然后让CX把它整理成论文，补充形式化验证，然后生成不同版本的推导，最后由系统发布。
所以我们会看到，我们得到了一份由CX输出的完美论文，但我们不能说人工智能独立发现了这个证明。”
主持人问：“你的意思是，Chen本人是隐藏的人类环节？”
山姆��奥特曼不假思索道：“对！这是最合理的替代解释。
我不相信CX比我们领先这么多。
我也不相信短期内人工智能能做到这一点。”
节目播到这里，直播间的评论跟疯了一样刷新。
“XDDDDDD”
“一直鼓吹人工智能无所不能的山姆��奥特曼开始公开说人工智能其实也不行了。”
“太逗了，不是一般的急。”
“OpenAI要是输了这一仗，那就什么都没有了啊！”
“山姆你现在要做的不是怀疑CX怎么做到的，而是紧急找数学家买成果，然后说这是ChatGPT做出来的！”
“对啊，CX可以，你们也行！”
“经典人类偷偷帮AI。”
“Builder.ai的往事被想起了，经典界面是机器人，背后是人XDDD”
（PS：Builder.ai所谓AI一键做App，后端大量是印度工程团队手工写代码。）
“可问题是，晨曦科技一口气发布了一百篇论文，每一篇都是菲尔兹奖级别的成果。
如果只是一篇，我们可以说人做的，但100篇菲尔兹奖级别，这可能吗？”
第160章 一根筋两头堵
“恰恰相反，正因为是100篇，所以我才觉得这种解释更值得考虑。”山姆��奥特曼说道。
“为什么？”
“关于Chen一直有一个传闻，你知道我说的是什么？”
主持人当然知道，直播间的评论瞬间热闹起来。
“来了！多元宇宙！”
“山姆开始引用都市传说了。”
“他已经急了，开始开始聊起穿越了。”
主持人笑了笑说：“你是说另一个世界？”
“对，”山姆点头：“我知道这听起来很荒谬，我自己过去也不愿认真去讨论它。
但现在，我觉得我们需要认真对待这个可能性。
我们现在讨论的本来就是个无法用逻辑所解释的人。
过去两年这个人做了太多事情，现在又多了一件����100篇高水平的数学论文。
所以如果你让我在两个解释里选...”
山姆叹了口气：“第一个是人工智能在极短时间里从人类现有数学基础出发，自主跨越了我们整个行业预期的多个技术阶段，然后一口气发现了100个菲尔兹奖级的成果。
还是第二个，Chen在过去接触过一个完全不同的数学体系，他只是把其中已经存在的成果重新整理出来。
你觉得哪个更不需要新的解释？”
直播间已经疯了。
“？？？？”
“山姆��奥特曼：AI不可能这么强，所以穿越反而更合理。”
“人工智能CEO亲口承认异世界比AGI更可信。”
上一篇：群星，玩家与不朽者
下一篇：综网：从召唤植物娘开始