人工智慧是否已经开始具备真正数学研究能力」的所有讨论都没有意义了。
他们当时讨论的是奥赛题、本科数学、研究生数学、定理的辅助证明。
现在晨曦科技直接往桌子上拍了100篇论文，第一篇就是千禧年问题。
双方根本就不在一个技术阶段。
山姆·奥特曼紧急公关，找来和自己关系不错的头部播客主持人。
聊到中途，主持人非常自然地把话题切换到晨曦科技：「我们得谈谈CX。」
主持人把平板放在桌上，上面是陶哲轩发布的声明。
「现在的情况是Terce和一批顶尖数学家已经检查了很长时间。
普林斯顿数学研究院和巴黎数学研究院都陆续出来发表声明了，他们都没能从验证上找到明显错误。
外界有观点认为，CX可能是第一个真正意义上的超级数学人工智慧，你怎麽看？」
山姆·奥特曼回答道：「我认为这里有两个问题被混在了一起！
第一个问题，这些数学成果是不是真的？
第二个问题，这些成果是不是由CX独立做出来的？
因为N—S方程被证明的消息太过于震撼，导致大家都忘了第二个问题。
所有人都非常兴奋，我也能理解，如果人工智慧真的独立证明了NS方程，这是历史性事件。
我可以这麽说，这比绝大多数人想像的更加重要。
但问题在於，我们并不知道整个证明过程。
晨曦及科技公开了形式化证明。
这只是证明了结果可以被验证，但它没有证明是由谁想出来的。
这是两个完全不同的问题，他很有可能是Chen本人完成了一篇证明。
然後让CX把它整理成论文，补充形式化验证，然後生成不同版本的推导，最後由系统发布。
所以我们会看到，我们得到了一份由CX输出的完美论文，但我们不能说人工智慧独立发现了这个证明。」
主持人问：「你的意思是，Chen本人是隐藏的人类环节？」
山姆·奥特曼不假思索道：「对！这是最合理的替代解释。
我不相信CX比我们领先这麽多。
我也不相信短期内人工智慧能做到这一点。」
节目播到这里，直播间的评论跟疯了一样刷新。
「XDDDDDD」
「一直鼓吹
…。。