OpenAI 发布又一批数学突破

OpenAI 已在一组共 722 份手稿中展示了由一个尚未发布的尖端模型所生成的多个长期存在的数学难题的解决方案，涵盖了 372 个结果家族，这些家族对相关论文进行了分组。这延续了一系列突破，这些突破既让数学界的一部分人感到印象深刻，也让他们感到不安，同时也引发了关于研究伦理和学术行为的问题。根据由新成立的由精英数学家组成的独立咨询小组 AGMAI（旨在负责任地传达这些结果）的说法，此次发布包括了对“数百个”开放问题的解答。

这些结果已被期待数周，尽管直到现在 OpenAI 还没有提供关于模型解决了哪些问题或具体何时发布的细节。9 月，该公司表示其模型已经“解决了大多数数学领域中 100 多个长期存在的开放问题”。发布的论文和其他细节还包括模型推理的一些摘要、所用计算量的估计以及尝试问题的数量统计。OpenAI 声称，“平均结果”使用了相当于 3 小时 ChatGPT Pro 思考时间的计算量。

AGMAI，即数学与人工智能咨询小组（Advisory Group on Mathematics and Artificial Intelligence），在 9 月下旬发布了第一份建议，敦促 AI 实验室及时并通过既定的学术渠道发布数学结果，同时披露所用模型名称、提示词和计算成本等细节。该小组还恳请 AI 公司“不要将数学结果的发布作为推广其模型的营销手段”，他们称这种做法对数学界造成了重大损害。

以下是 OpenAI 对此次发布流程的描述：

对于此次发布，我们将结果发布在一个 GitHub 仓库中，并附带了论文修订和引用的协议。我们正在继续探索符合委员会指南的其他社区托管替代方案。对于未来的发布，我们致力于通过引用、数学阐述和结果展示来进一步提高论文质量，以便更好地理解。

随着数学家们对这些结果进行评估和消化，其完整影响可能需要一段时间才能显现。它们增加了来自 OpenAI 和 Anthropic 等竞争实验室的迅速增长的数学结果库，该领域仍在消化这些结果，其中包括涉及千禧年大奖难题（该领域最著名的开放问题之一）的结果。今年 AI 实验室冲入该学科的速度——特别是他们处理公告的方式——引发了关于研究实践、伦理以及公司如何向人类数学家致谢的激烈辩论，因为这些系统的结果是建立在这些数学家的工作之上并可能利用其产生的。