OpenAI 数学研究成果引争议

此次争议源自 OpenAI 于 2026 年 8 月 1 日公开的一组数学研究结果。

OpenAI 彼时宣称，其尚未面世的下一代模型 Astra 在内部测试阶段攻克或大幅推进了 10 个长期悬而未决的数学与理论计算机科学难题，覆盖高维球体堆叠、编码理论、群论、算术电路复杂性、量子复杂性以及格密码学等多个方向。

OpenAI 透露，获取这 10 项成果所耗费的 Token，若按 Sol API 的收费标准折算，整体花费约为 2000 美元。

数学证明过程由 Astra 完成，之后由研究人员借助模型将其梳理为论文格式，模型还为每项成果配套生成了 Lean 形式化验证脚本。

然而成果公布后，数学界开始审视这些论文所采用的方法，并察觉其中至少两项结果与先前已公开的研究存在直接关联。

叶史瓦大学的数学家 Steven Miller 对 Astra 的高维球体堆叠成果给出了最尖锐的质疑。

该研究提出了高维空间中球体堆叠密度的新上界，但 Miller 指出，证明中的核心推导过程此前已出现在他与合作者 2016 年发表的论文中，而 OpenAI 最初并未添加相应引用。

据《Scientific American》消息，Miller 认为 OpenAI 实质上是把既有研究中的关键推导包装成自身成果，并批评其刻意忽略先前研究者的贡献。他指出，这一行为并非单纯的疏漏，而暴露出系统性问题，甚至涉嫌“学术不端”。

另一项遭到质疑的是 Astra 关于“非 sofic 群”存在性的论证。

OpenAI 将这一结论列入 10 项核心成果之一，声称 Astra 成功构造出一个非 sofic 群，由此破解了群论领域的一个关键开放难题。

剑桥大学数学家 Francesco Fournier-Facio 随即表示，OpenAI 证明中的一项核心技术命题依托于 Gábor Kun 2016 年的研究。

以及 Kun 与 Andreas Thom 2019 年的研究。

Fournier-Facio 于 8 月 3 日上传至 arXiv 的论文《A torsion-free non-sofic group》清晰指出，“这一核心技术环节‘关键依托于’上述两项既有工作。”

这与 OpenAI 起初宣称相关问题“十年来在主要结果层面毫无进展”的表述形成冲突。

OpenAI 之后撤掉了这一说法。

Fournier-Facio 在论文中记录，相关表述于 8 月 3 日被 OpenAI 删除。当前 OpenAI 官网仅表示 Astra“攻克或大幅推进了一系列长期开放难题”，不再强调这些问题十年来未获实质进展。

但这并不意味着 Astra 的非 sofic 群成果本身缺乏创新。

Fournier-Facio 觉得，Astra 所提出的核心命题仍具新颖性，其证明巧妙地整合了先前不同研究中的方法，并给出了切实可行的具体构造。他在论文中将 Astra 选取相关群结构的策略形容为“clever choice”，同时认定其中一项关键命题是本项工作的主要创新所在。

因此，目前数学界的争论焦点集中在成果引用、原创性表述以及 OpenAI 对外宣传的精准度上，而非 Astra 的数学结果本身被证伪。

OpenAI 在发布这些成果时还着重探讨了数学研究中的署名规范。

OpenAI 指出，署名应当“真实还原成果的产生过程”，人工团队承担论文整理与形式化验证工作，并对结果的准确性担责，但数学论证本身出自 Astra。

这一立场也成为本次争议的焦点之一。

批评者指出，当 AI 系统能够从海量既有论文中整合研究思路时，仅声明“证明由 AI 生成”无法替代传统学术规范中的文献溯源与引用要求。

OpenAI 已表态将对相关论文进行小幅修订，并声明会为这些研究结果的准确性担责。

云头条声明：如以上内容有误或侵犯到你公司、机构、单位或个人权益，请联系我们说明理由，我们会配合，无条件删除处理。