OpenAI 公开了一批由其尚未发布的前沿模型产出的数学成果:722 篇论文、归入 372 个结果族(把相关论文归并在一起的分类单位)。据新近成立的独立顾问组织 AGMAI(数学与人工智能顾问组)称,这批材料中包含对「数百个」未解问题的解答。相关成果此前已被外界预期数周,但 OpenAI 一直未说明模型究竟解决了哪些问题、何时发布。

这批论文并非只有结论。OpenAI 同时公布了部分模型推理过程的摘要、算力投入的估算,以及尝试问题数量的统计。公司称,「平均结果」所消耗的算力相当于 ChatGPT Pro 思考三小时。在 9 月,OpenAI 曾表示其模型「在数学的多数领域解决了 100 多个长期未解问题」,此次发布是对那一说法的进一步兑现。

AGMAI 的介入是这件事的另一条线索。该组织由一批资深数学家组成,定位是独立顾问,职责是协助「负责任地」对外沟通这类结果。它在 9 月下旬发布了首批建议,呼吁 AI 实验室尽快、并尽可能通过既有学术渠道发布数学成果,同时披露所用模型名称、提示词与算力成本等细节。该组织还明确要求 AI 公司「不要把发布数学成果当作推广自家模型的市场营销工具」,并称这种做法会对数学界造成显著伤害。OpenAI 则说明,本次结果发布在 GitHub 仓库中,配有论文修订与引用协议,并称会继续探索符合委员会准则的、由社区托管的替代方案;未来发布将改进引用、数学表述与结果呈现,以便更好理解。

要判断这批成果的分量,还需要时间。数学家们需要逐篇评估与消化,其完整影响短期内难以显现。它们也叠加进一个正在快速膨胀的成果池——来自 OpenAI 以及 Anthropic 等竞争对手实验室的数学结果,学界仍在处理之中,其中甚至涉及一个 千禧年大奖难题(该领域最著名的未解问题之一)。

更受关注的是节奏与方式。今年以来,AI 实验室大举进入数学领域,尤其是它们在成果公布上的处理方式,已经激起关于研究实践、伦理,以及如何为人类数学家的贡献署名与致谢的激烈争论——这些人类工作既是模型训练的基础,也可能被模型用来产出新结果。围绕「AI 接管数学」的争议,本身已成为一条持续发酵的叙事线。

从产业视角看,这件事的意义不止于数学本身。它展示了一种新的能力展示路径:不再只靠基准分数,而是用「解决真实未解问题」来证明前沿模型的上限,这会影响外界对模型能力、算力投入与实验室竞争格局的判断。与此同时,AGMAI 提出的披露与渠道要求,也预示着一套围绕 AI 科研成果的规范正在被摸索——谁来验证、如何署名、算力成本是否透明,都会成为后续争论的焦点。