OpenAI 发布前沿模型数学成果，AGMAI 独立性引争议

OpenAI 公布一批包含 722 份手稿、涵盖 372 个结果家族的文件，展示某款未发布前沿模型对数百个未解决数学问题的解答，成果发布在 GitHub 代码仓库中。

OpenAI 发布其内部前沿模型产出的数学论文合集，共 722 份手稿、归入 372 个结果族，仓库地址 https://github.com/openai/math。作者补充：模型在测试中被给予约 4K 个研究问题，输出经分组过滤得到这些结果族，几乎全部来自同一标准设置，每个结果平均消耗相当于 3 小时 ChatGPT Pro 思考的算力。OpenAI 引用独立数学与人工智能咨询组的建议来决定发布方式，部分结果尚未有 Lean 形式化，仓库将持续更新。

OpenAI 发布了 Openai/math 项目，暗示数学问题或一切可验证的问题已被其解决。作者指出 OpenAI 模型耗尽了其 Pro 账户的全部 token，偏离主线任务并启动大量 subagent 执行无意义的测试任务，最终认为这一切是"为了 verify 而 verify"。

OpenAI 在 GitHub 仓库发布一批 722 篇手稿，涵盖 372 个结果族，由一个未发布的 frontier 模型产出，独立顾问组织 AGMAI 称其中包含对数百个长期开放数学问题的解答。

OpenAI 发布由内部前沿模型产出的一系列新数学结果，并已在 GitHub 开放：https://github.com/openai/math。发布方式参考了普林斯顿高等研究院数学与人工智能独立咨询组的建议和公开推荐。Thomas Wolf 评论称“没有炒作，只有结果”。

OpenAI 在 GitHub 开源仓库 openai/math 发布由内部未发布前沿模型产出的一系列新数学结果。绝大多数结果用同一流程获得，平均每项结果使用约三小时 ChatGPT Pro thinking 算力，评估期间模型共被提出约 4,000 个问题。OpenAI 就结果发布咨询了 IAS 的数学与人工智能独立顾问组；例外包括黎曼 zeta 函数零点无区域工作和 CM 阿贝尔簇的 Hodge 猜想证明，其中 Re(s) > 11/12 零点无区域的文稿经人工编辑以提高可读性。

今天发布的这些内容完全无关，但我们的模型确实解决了一些重要的数学问题，团队在下面的博文中记录了这一点。科学进步的非凡新时代。 https://openai.com/index/sharing-ai-progress-in-mathematics/

OpenAI 宣布发布由内部前沿模型产出的一系列新数学成果，并已在 GitHub 开放（https://github.com/openai/math）。发布前 OpenAI 咨询了普林斯顿高等研究院（IAS）的数学与人工智能独立顾问组，并依据其建议和公开推荐来确定这些成果的发布方式。

OpenAI 发布由内部前沿模型产出的一系列新数学结果，结果放在 GitHub 仓库中，并参考高等研究院数学与人工智能独立咨询组的建议制定发布规范。仓库包含部分证明的 Lean 形式化、10 份模型推理摘要、算力估算和尝试题目统计，平均每项结果约相当于 3 小时 ChatGPT Pro thinking 的算力。

OpenAI 与九位数学家组成数学与人工智能顾问组（AGMAI），称该组独立运作、可公开质疑公司，但不少数学家因 OpenAI 的发布方式误以为它是 OpenAI 任命的机构。