OpenAI Astra陷「抄袭门」？数学突破引发学术伦理争议

OpenAI 近期宣布其下一代大型语言模型Astra在数学领域取得重大进展，成功攻克 10 项长期悬而未决的难题，涵盖高维几何、群论及量子複杂度等领域。然而，这项被誉为 AI 登月时刻的成就，随即遭到多位数学家指控涉及学术不端与抄袭，引发科技界与学术界的剧烈辩论。

根据 OpenAI 发布的 249 页技术报告，Astra 仅花费约 2,000 美元的词元(token)成本，便产出了包括高维球体堆积(Sphere Packing)与非 sofic 群(Non-sofic Group)存在性证明在内的十项成果。OpenAI 强调，虽然人类研究员协助了手稿準备与 Lean 形式化证明的检验，但核心数学论证完全由 AI 生成，因此将功劳归于 AI 系统。

然而，这项宣称在发布五天后便面临挑战。耶希瓦大学(Yeshiva University)数学家Steven Miller在接受《科学美国人》採访时直指，Astra 在处理球体堆积问题时，其最核心的论证逻辑完全来自他与合作者于 2016 年发表的论文，但 Astra 在初版报告中并未引用该研究，而是将其呈现为原创发现。Miller认为这并非偶然疏漏，而是系统性的学术不端。

针对另一个关于非 sofic 群的突破，剑桥大学群论学家Francesco Fournier-Facio学术标準约束。

面对质疑，OpenAI 发言人回应表示将对论文进行小幅更新以修正引用问题，并重申对结果正确性负责。此事件不仅反映出 AI 在加速科学发现上的潜力，也暴露出当前 AI 模型在原创精神归属与学术引用规範上的法律与道德盲区。

这场争议也延伸至数学本质的讨论。部分学者批评 Astra 产出的数十万行形式化代码虽然能通过机器编译，却缺乏人类证明中能提供启发性的对称性或洞见。

数学家们担忧，当 AI 成为研究协作者时，如何界定原创并保护人类智力劳动的署名权，将是未来科学研究转型期必须面对的挑战。