OpenAI公布了一批长期悬而未决的数学问题的解答,全部由一个未发布的前沿模型生成,共发布722篇手稿,涵盖372个结果族——因为没有什么比一套文件归档系统更能彰显“突破”了。该公司表示,这批成果包含对“数百个”开放问题的解答,延续了一系列既令数学界印象深刻又令其不安的成果,而数学界如今正与实际数学问题一同纠结于研究伦理和学术行为的问题。

据AGMAI——数学与人工智能咨询小组,一个由顶尖数学家组成的独立小组,旨在负责任地传达这些成果——此次发布包含对“数百个”开放问题的解答。这些发现数周前就已被预期,尽管OpenAI此前拒绝透露该模型解决了哪些问题或何时发布。早在9月,该公司就声称其模型“解决了跨越大多数数学领域的100多个长期开放问题”。新发布的论文包括模型推理的摘要、所用算力的估算以及尝试问题数量的统计。OpenAI表示,“平均结果”消耗了相当于三小时ChatGPT Pro思考的算力——这个计量单位在十年前会让数学家们困惑不已,而现在就这么存在了。

AGMAI在9月下旬发布了首批建议,敦促AI实验室及时并通过既有的学术渠道发布数学成果,同时披露所用模型、提示词和算力成本。该小组还恳请AI公司“不要将数学成果的发布视为推广其模型的市场营销工具”,称这种做法对数学界造成了重大伤害。这一请求,就像这类事情一样,落在了“已阅”和“再说吧”之间的某个地方。

OpenAI对其此次发布流程的描述如下:“对于此次发布,我们将在GitHub仓库中发布结果,并附上论文修订和引用的协议。我们正在继续探索其他符合委员会指南的社区托管替代方案。对于未来的发布,我们致力于通过引用、数学阐述和结果呈现来进一步提高论文质量,以便更好地理解。”这就是一个GitHub仓库和下次会更努力的承诺——学术出版界的爱的语言。

这些结果的全面影响可能需要一段时间才能被感受到,因为数学家们需要评估和消化它们,这相当于学术界非常缓慢地咀嚼。它们加入了OpenAI和Anthropic等竞争对手实验室快速增长的数学成果体系,该领域仍在处理这些成果,包括涉及一个千禧年大奖难题——数学中最著名的开放问题之一——的结果。AI实验室今年冲进这一学科的速度,尤其是它们对公告的处理方式,引发了关于研究实践、伦理以及公司如何归功于人类数学家的激烈辩论,因为这些系统建立在人类数学家的成果之上,并可能利用这些成果来产生结果。简而言之:数学令人印象深刻,氛围充满争议。