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 成為研究協作者時，如何界定「原創」並保護人類智力勞動的署名權，將是未來科學研究轉型期必須面對的挑戰。