AI-translated from English; not yet reviewed by a fluent editor.

# 人类数学协会质疑 OpenAI 发布数学成果

> 人类数学协会反对 OpenAI 的专有数学研究及其大规模发布。撤稿和证明修订显示记录仍在变化，但这并不构成对整个成果集的裁决。

By BIG CHANGE Editorial

Published: 2026-10-09T18:23:58.826Z
Updated: 2026-10-09T18:23:58.826Z
Canonical: https://bigchange.ai/blog/association-human-mathematics-openai-math-release

![A wheeled library cart holds many plain manuscript booklets beside one separate blank response sheet in a freestanding holder.](https://bigchange.ai/api/media/file/ahm-math-release-response-hero-v1.png)
Conceptual illustration of AHM's response to OpenAI's large mathematics-manuscript release. It does not show AHM's actual statement, a repository screen, a proof, or a verdict on the manuscripts. AI-generated illustration by BIG CHANGE.

人类数学协会（AHM）在 OpenAI 于 10 月 6 日发布大量 AI 生成的数学成果后，呼吁数学家停止与该公司合作。在其[10 月 7 日声明](https://www.ahmath.org/statements)中，该组织的核心异议是：使用私有模型处理高阶开放问题，并一次性发布由此产生的数百篇论文。它质疑 OpenAI 关于这种发布模式能推动数学发展的说法，尽管公开文件让人们可以逐项审查相关主张。

这是 AHM 传播工作组的立场。它既不是数学界的投票结果，也不是认定每篇手稿都有误。Terence Tao[以 AHM 嘉宾声明的形式转载了这段文字](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/)，并标明作者身份，而不是将其作为自己的声明。

## 重大变化

- **发生了什么变化：** 围绕 OpenAI 资料库的争论已超出单项结果是否有效。AHM 质疑该公司在选择研究问题以及决定数学家以何种条件获得成果方面所扮演的角色。
- **为何重要：** 这场争论涉及谁能检查生成工具，以及谁要承担核查和解释大规模发布内容的工作。即使某项证明得到修正或形式化，这些问题仍然存在。
- **接下来关注：** OpenAI 表示将增加形式化成果。对修订后主张进行独立评估，以及后续带版本号的更正，将有助于厘清数学家能够核验并理解哪些具体结果。

## AHM 反对什么

AHM 表示数学家并未要求开展这些工作。它称发布 700 多份文件是展示力量，而非学术研究，并请读者质疑这些成果对该领域的价值。声明还援引独立的数学与人工智能咨询组（AGMAI），称 OpenAI 无视了该组最初提出的要求：停止使用内部模型测试高阶数学问题。

这一说法有明确依据：[AGMAI 9 月 29 日发布的指导意见](https://agmai.org/general-sep29/)建议前沿实验室停止使用专有模型测试高阶问题。同一文件随后对实验室已产出的结果提出了有条件的发布建议：数学写作应清晰、使用合适的资料库、披露工作的生成方式、尽可能进行形式化，并支持人类理解。文件称，这些建议依据 600 多份问卷答复，并获得答复者中相对多数的支持。这些事实并不能把 AHM 随后呼吁停止与 OpenAI 合作的主张变成 AGMAI 指令，也不能说明整个领域作出了决定。

在其[10 月 6 日对发布事件的回应](https://agmai.org/)，AGMAI 明确表示，其咨询角色既不代表认可 OpenAI 的流程，也不代表判断成果的影响。该组织称，发布只是人类评估的开始，同时表示只有数学界才能判断其建议是否得到充分落实。此前，OpenAI 曾[将该组织描述为独立机构](https://openai.com/index/advisory-group-on-mathematics-and-ai/)，并表示该组织将就审查和沟通提供建议，但不会控制公司内部研究的节奏。这里的关键是建议与权力的区别：AHM 批评的是 OpenAI 的选择，并不能证明外部委员会批准或否决了这些选择。

## 记录在变化，仍需核查

OpenAI 的[资料库](https://github.com/openai/math)称，资料集中的工作处于不同的核验阶段。其当前目录列有**719 篇手稿，分属 372 个系列**。一个系列可能包含多篇论文。资料库称，部分手稿没有 Lean 形式化证明，一些未形式化的结果可能存在问题；它报告称，约 42% 的顶层结果已形式化。形式化是针对特定陈述、可由机器检查的明确论证，并不代表对周边论文中所有主张的全面确认；资料库所列状态也不能代替独立的数学审查。我们此前的[文件与证明配置导览](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs)解释了如何追踪其范围。

三篇手稿撤回后，数量发生了变化。OpenAI 的[10 月 7 日历史记录](https://github.com/openai/math/blob/main/history.md)将撤回归因于一项证明中的符号错误，该错误也影响了两篇依赖该证明的论文。记录还包括其他 14 篇手稿的修订、另外 13 篇论文的参考文献更新，以及新增的六项形式化成果。我们关于[三份撤稿通知的报道](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error)说明了更有限的结论：被指出的论证已不能证明那些论文的主张；通知并未推翻数学陈述本身。被撤回的证明、修订后的手稿和已形式化的结果是不同的状态。

这些修订显示，面对规模庞大且形式化程度不一的成果集，审查工作可能有多繁重。这是我们对资料库记录的分析，并非 AHM 声明中的说法。AHM 反对通过专有模型生成并发布这一成果集的决定。与此同时，OpenAI 提供了带版本记录的材料，研究人员可以检查、修正并讨论。[我们此前关于审查能力的分析](https://bigchange.ai/blog/ai-research-discovery-review-capacity)讨论了将大量拟议结果转化为真正理解的数学知识所需的工作。本次争论又提出一个更尖锐的问题：以这种方式产出如此大量的成果，是否有利于那些需要评估它们的人？

## 来源及延伸阅读

- [人类数学协会关于 OpenAI 10 月 6 日发布的声明](https://www.ahmath.org/statements)，2026 年 10 月 7 日。AHM 异议及其停止合作呼吁的主要来源。声明表达的是该工作组的立场；它不能代表所有数学家的看法，也没有裁定任何单项证明。
- [Terence Tao 转载的 AHM 嘉宾文章](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/)，2026 年 10 月 7 日。将这段文字标注为 AHM 的嘉宾声明，并指向协会的原始页面。
- [AGMAI 负责任发布指导意见](https://agmai.org/general-sep29/)，2026 年 9 月 29 日；以及[其对 OpenAI 发布事件的回应](https://agmai.org/)，2026 年 10 月 6 日。两份材料说明了该组织反对专有模型测试的立场、有条件的发布建议，以及它对自身咨询角色所能代表内容的明确限制。
- [OpenAI 关于咨询组的公告](https://openai.com/index/advisory-group-on-mathematics-and-ai/)，2026 年 9 月 21 日。说明 OpenAI 如何描述该组的独立性、职责范围，以及该组无权控制公司内部研究节奏。
- [OpenAI 数学资料库](https://github.com/openai/math)及其[版本历史](https://github.com/openai/math/blob/main/history.md)，于 2026 年 10 月 9 日查阅。关于目前 719 篇手稿、372 个系列、形式化程度不一，以及 10 月 7 日撤回和修订的原始记录。这些是 OpenAI 对其主张和更正的记录，并非对数学内容的独立验证。

## Sources

- [人类数学协会关于 OpenAI 10 月 6 日发布的声明](https://www.ahmath.org/statements) — AHM 传播工作组的主要声明，并非整个学科的投票结果。
- [Terence Tao 转载的 AHM 嘉宾文章](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/) — 标明转载内容是 AHM 的嘉宾声明。
- [AGMAI 负责任发布指导意见](https://agmai.org/general-sep29/) — 对专有模型测试的初步反对，以及有条件的发布建议。
- [AGMAI 对 OpenAI 发布事件的回应](https://agmai.org/) — 声明不代表认可或影响判断，并将评估留给数学界。
- [OpenAI 关于咨询组的公告](https://openai.com/index/advisory-group-on-mathematics-and-ai/) — OpenAI 对该组独立性、职责范围以及无权控制研究节奏的说明。
- [OpenAI 数学资料库](https://github.com/openai/math) — OpenAI 报告的当前 719 篇手稿、验证方面的注意事项以及约 42% 的形式化比例。
- [OpenAI 数学资料库历史记录](https://github.com/openai/math/blob/main/history.md) — 三篇撤回、修订、参考文献更新和新增形式化成果。