OpenAI再获多项数学突破

OpenAI又放出一批数学成果，这次规模更大。据The Verge报道，这家公司公开了由一款尚未发布的前沿模型生成的722篇数学手稿，覆盖372个“成果族”（即把相关论文归并后的分类）。按照新成立的独立顾问组织AGMAI的说法，这批内容包含了对“数百个”未解问题的解答。AGMAI由一批顶尖数学家组成，专门负责以负责任的方式对外沟通这些结果。事实上，外界对这批成果已经等了数周。 这件事之所以值得关注，是因为它延续了OpenAI近一段时间在数学领域的连续突破，而这些突破在数学界内部引发的情绪相当复杂——既有人感到震撼，也有人感到不安。震撼在于，一个尚未公开的模型能批量产出对长期悬而未决问题的解答，说明AI在形式化推理和创造性证明上的能力又上了一个台阶；不安则在于，当AI开始大规模“解决”数学问题时，研究伦理和学术规范的问题随之浮出水面：这些解答算谁的成果？人类数学家在其中扮演什么角色？未经同行评审的AI生成证明能否被直接采信？AGMAI的设立本身就是对这种焦虑的回应——OpenAI显然意识到，光扔出结果不够，还得有人负责解释和背书。对关注AI能力边界的人来说，这批手稿是观察前沿模型推理水平的重要样本；对学术圈而言，它则是一次关于AI参与知识生产规则的现实压力测试。