OpenAI公开了由一个尚未发布的前沿模型解决的多项长期数学难题的解答,这批成果共包含722份手稿,涵盖372个结果家族,用于归类相关论文。此举延续了该公司一系列数学突破成果的发布节奏,这些成果既令数学界印象深刻,也引发了部分学者的不安,同时带来了关于研究伦理与学术行为的质疑。根据AGMAI(这是一个新成立的独立顾问团队,由顶尖数学家组成,负责协助以负责任的方式传达相关成果)透露,此次发布的内容包括对“数百道”未解问题的解答。

此前业界已预期这批成果数周,但OpenAI此前一直未透露该模型究竟解决了哪些问题,也没有公布具体发布时间。今年9月,该公司曾表示其模型“已解决涵盖数学绝大多数领域的100多道长期未解问题”。此次发布的论文及其他资料中,还包含了该模型推理过程的部分摘要、算力使用的估算数据,以及尝试解题数量的统计信息。OpenAI称,“平均每个结果”所消耗的算力相当于ChatGPT Pro三小时的思考量。

AGMAI(数学与人工智能顾问团队)于9月下旬发布了首批建议,呼吁各AI实验室尽快发布数学成果,并尽可能通过既有的学术渠道进行,同时需披露所使用模型的名称、提示词及算力成本等细节。该团队还呼吁各AI公司“避免将数学成果的发布当作宣传自身模型的营销手段”,并指出这种做法会对数学界造成重大伤害。

以下是OpenAI对此次发布流程的说明:

此次发布中,我们将成果发布在一个GitHub代码仓库中,并制定了论文修订与引用的相关规范。我们也在持续探索其他符合顾问委员会指导原则的、由社区主导的替代发布平台。在未来的发布中,我们承诺通过完善引用体系、数学阐述方式以及成果呈现形式,进一步提升论文质量,便于读者理解。

这批成果的全部影响可能需要一段时间才能显现,数学界仍需对其进行评估和消化。这些成果进一步丰富了OpenAI及Anthropic等竞争对手实验室今年产出的数学成果库,而该领域仍在消化这些结果,其中包括涉及千年大奖难题(该学科最著名的未解问题之一)的相关成果。各AI实验室今年在这一学科领域的快速推进——尤其是其在成果发布方式上的处理——已引发激烈争论,涉及研究规范、伦理问题,以及公司应如何对那些被其系统借鉴、甚至可能被用于产出成果的人类数学家给予应有的认可。

Q&A

Q1:OpenAI这次发布的数学成果具体包括什么内容?

A:此次发布包含722份手稿,涵盖372个结果家族,内容是由一个尚未公开的前沿模型解决的数百道长期未解数学难题,同时还附带了模型推理过程摘要、算力使用估算等信息。

Q2:AGMAI是什么机构,它提出了哪些建议?

A:AGMAI是数学与人工智能顾问团队,由顶尖数学家组成。该团队建议AI实验室尽快通过学术渠道发布数学成果,并披露模型名称、提示词及算力成本,同时反对将数学成果发布当作模型营销手段。

Q3:OpenAI的数学突破为何引发争议?

A:争议主要源于AI实验室在成果发布方式上的处理方式,涉及研究伦理、学术规范,以及公司是否应对借鉴或使用的人类数学家工作给予应有认可等问题。

The Verge