北京
2026 年 8 月 8 日，多名数学家对 OpenAI 最新公布的 Astra 数学研究成果提出质疑，认为其中部分证明使用了已有研究中的关键思路，却没有给予原作者充分引用和署名。 部分研究人员进一步指控，这种做法可能构成研究不端。
争议源于 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 已表示将对相关论文进行小幅更新，并表示会对这些研究结果的正确性承担责任。
云头条声明：如以上内容有误或侵犯到你公司、机构、单位或个人权益，请联系我们说明理由，我们会配合，无条件删除处理。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
