OpenAI 公开 722 份 AI 数学手稿：覆盖 372 个结果家族，附算力与推理摘要

OpenAI 近日公开了一批 AI 数学研究产出。这批资料由 722 份手稿组成，覆盖 372 个结果家族，其中记录了一款尚未发布的前沿模型对若干长期悬而未决数学难题的解答。

它接续了 OpenAI 在 AI 数学上的系列突破，既有业内人士点赞，也引来围绕科研伦理与学术规范的讨论。新组建的独立数学家咨询小组 AGMAI 负责把关成果的对外传播。据其介绍，这次公开的解答涉及数百个此前未解的数学问题。

这批材料，外界已经等了数周。OpenAI 曾在 9 月透露，其模型已经攻克一百多个长期公开的数学难题，覆盖大部分数学分支。本次除手稿之外，还一并给出推理摘要、算力消耗估算以及所尝试题目的统计。OpenAI 称，完成一项普通成果所耗的算力，大致相当于让 ChatGPT Pro 连轴转三个小时。AGMAI 咨询小组早在 9 月下旬就给出首批建议，呼吁 AI 实验室优先通过成熟的学术渠道来发布数学研究，并把模型名称、提示词与算力成本等信息完整交代。小组尤其提醒企业，不要把数学成果发布当成营销的素材，否则会伤害数学社群。

至于这批成果怎么处理，OpenAI 表示材料已经上传到 GitHub 仓库，并附上文稿修订与引用规范，团队还会继续寻找由学术社群托管的发布渠道，以贴合咨询小组的建议。对于后续版本，OpenAI 承诺改进文稿质量，优化引用与推导的呈现方式，让内容更好读。

目前这批产出仍需数学家核验消化，完整的行业影响要过一段时间才会明朗。在这之前，OpenAI 与 Anthropic 等企业已经积累了可观的 AI 辅助数学成果，有些甚至触碰千禧年大奖难题这一级别的未解命题，数学界仍在慢慢消化。随着各大实验室今年快速挺进数学领域，再加上成果公开的方式，也引发不少争论，议题从科研范式、伦理准则，到 AI 应当如何尊重人类数学家的前期积累。

文章与图片内容转载网络，如有侵权请联系平台删除