OpenAI 又取得了一批数学突破

OpenAI 在一批 722 份手稿中揭示了由未发布的前沿模型产生的许多长期存在的数学问题的解决方案，涵盖了将相关论文分组的 372 个结果系列。它扩展了一系列突破，这些突破既给数学界留下了深刻的印象，又让数学界感到不安，同时也引发了有关研究伦理和学术行为的问题。新成立的由精英数学家组成的独立咨询小组 AGMAI 表示，该小组致力于负责任地传达结果，该发布内容包括“数百个”开放问题的解决方案。尽管 OpenAI 尚未提供有关该模型已解决哪些问题或具体何时发布的详细信息，但该结果已在数周内得到预期。 9 月，该公司表示其模型“解决了大多数数学领域的 100 多个长期悬而未决的问题”。已发布的论文和其他详细信息还包括模型推理的一些摘要、所用计算的估计以及有关尝试问题数量的统计数据。 OpenAI 声称“平均结果”相当于 ChatGPT Pro 思考三个小时的时间。 AGMAI（数学和人工智能咨询小组）于 9 月下旬发布了第一份建议，敦促人工智能实验室尽可能通过既定的学术渠道及时发布数学结果，同时披露所用模型名称、提示和计算成本等详细信息。该组织还恳请人工智能公司“不要将数学结果的发布视为推广其模型的营销工具”，他们表示这种做法对数学界造成了重大伤害。 OpenAI 描述了此版本的流程：对于此版本，我们将在 GitHub 存储库中发布结果，并提供论文修订和引用协议。我们正在继续探索此版本的其他社区托管替代方案，以满足委员会的指导方针。对于未来的版本，我们致力于通过引文、数学阐述和结果呈现来进一步提高论文质量，以便更好地理解结果的全部影响可能需要一些时间才能在数学家评估和消化时才能感受到。 OpenAI 和 Anthropic 等竞争对手实验室的数学结果正在快速增长，该领域仍在处理这些结果，其中包括有关千年奖问题的结果，这是该领域最著名的开放问题之一。人工智能实验室今年进入该学科的速度——尤其是他们对公告的处理——引发了关于研究实践、道德规范以及公司如何信任人类数学家的激烈争论，他们的系统建立在人类数学家的基础上，并可能用来产生结果。