OpenAI 公布一批 AI 数学研究成果，解答数百个悬而未决难题

据 IT 之家 10 月 7 日报道，OpenAI 在一批包含 722 份手稿、涵盖 372 个结果家族的文件中，公布了某款尚未发布的前沿模型所解决的多项长期存在的数学难题。负责以负责任方式传达这些成果的，是新成立的精英数学家独立咨询小组 AGMAI（Advisory Group on Mathematics and Artificial Intelligence）。AGMAI 介绍，此次公布的内容包含对“数百个”未解决问题的解答。

数周以来，外界一直在期待这批成果，但 OpenAI 此前始终未说明模型究竟解决了哪些问题，也未给出确切发布时间。该公司曾在 9 月称，自家模型“已经解决了一百余个长期悬而未决的公开难题，覆盖数学的绝大多数分支领域”。本次发布的文稿还包含部分模型推理过程摘要、算力消耗估算值，以及尝试求解过的问题数量统计。OpenAI 称，一项普通成果所消耗的算力，大致相当于 ChatGPT Pro 连续思考三小时的算力水平。

这一举措延续了 OpenAI 一系列突破性成果，既给数学界部分人士留下深刻印象，也引发不安，并带来关于研究伦理与学术行为的疑问。AGMAI 于 9 月下旬发布首批建议，呼吁人工智能实验室尽可能通过成熟学术渠道及时发布数学研究成果，并披露所用模型名称、提示词与算力开销等详细信息；该小组还规劝企业“不要把发布数学成果当作推广自家模型的营销手段”。

此前 OpenAI 以及 Anthropic 等竞争对手实验室已产出数量迅速增长的一批数学成果，整个数学界仍处在消化阶段，其中甚至包含一道千禧年大奖难题的相关结果。今年各家 AI 实验室快速闯入数学学科，其对外发布消息的方式已激起关于科研范式、伦理规范，以及企业应如何向人类数学家致谢的激烈争论——因为 AI 系统正是建立在人类数学家的已有工作之上，并可能依托这些前人工作生成新结果。数学家们仍需对这些成果开展评估与消化吸收，其完整影响或尚需时日方能显现。