前线OpenAI发布又一批AI数学研究成果，攻破数百个悬而未决难题

IT之家 10 月 7 日消息，OpenAI 在一批包含 722 份手稿、涵盖 372 个结果家族的文件中，公布了某款未发布的前沿模型解决的多项长期存在的数学难题。 IT之家注意到，这一举措延续了其一系列突破性成果，这些成果既给数学界部分人士留下了深刻印象，也引发了不安，同时还带来了关于研究伦理和学术行为的疑问。据负责以负责任的方式传达这些成果、新成立的精英数学家独立咨询小组 AGMAI 介绍，此次公布的内容包含对“数百个”未解决问题的解答。 数周以来外界一直在期待这批成果，不过在此之前，OpenAI 始终没有说明模型究竟解决了哪些问题，也没有给出确切的发布时间。该公司曾在九月份称，自家模型“已经解决了一百余个长期悬而未决的公开难题，覆盖数学的绝大多数分支领域”。本次对外发布的文稿以及相关资料还包含一部分模型推理过程摘要、算力消耗估算值，以及尝试求解过的问题数量统计数据。OpenAI 称，一项普通成果所消耗的算力，大致相当于 ChatGPT Pro 连续思考三小时的算力水平。 数学与人工智能咨询小组（Advisory Group on Mathematics and Artificial Intelligence，AGMAI）于九月下旬发布首批建议。该小组呼吁人工智能实验室尽可能通过成熟的学术渠道及时对外发布数学研究成果，同时应当披露所使用模型的名称、提示词、算力开销等详细信息。小组还恳切规劝人工智能企业，“不要把发布数学成果当作推广自家模型的营销手段”；该机构认为，这类做法会给整个数学社群带来严重损害。 针对本次发布，我们将成果发布在一处 GitHub 代码仓库当中，同时制定了文稿修订与引用相关的处理规范。我们还会继续探寻其他由学术社群托管的发布方案，使之符合该咨询委员会提出的各项指导意见。对于后续版本的成果发布，我们承诺会进一步完善文稿质量，优化引用情况、数学内容阐述以及成果展示形式，便于大家理解。 此前 OpenAI 以及 Anthropic 等竞争对手实验室已经产出数量迅速增长的一批数学成果，整个数学界仍处在消化阶段，其中甚至包含一道千禧年大奖难题的相关结果，该难题属于数学领域最知名的未解问题。 今年各家人工智能实验室快速闯入数学这门学科，尤其是它们对外发布消息的方式，已经激起激烈争论，议题涉及科研范式、伦理规范，以及企业应当如何向人类数学家致谢；人工智能系统正是建立在人类数学家的已有工作之上，并有可能依托这些前人工作生成新结果。