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指出,Astra得出的結論與他尚未發表的研究極為相似,呼籲嚴格遵守學術標準。

面對質疑,OpenAI發言人回應表示將對論文進行「小幅更新」以修正引用問題,並重申對結果正確性負責。此事件不僅反映出AI在加速科學發現上的潛力,也暴露出當前AI模型在原創精神歸屬與學術引用規範上的法律與道德盲區。

這場爭議也延伸至數學本質的討論。部分學者批評Astra產出的數十萬行形式化代碼雖然能通過機器編譯,卻缺乏人類證明中能提供啟發性的「對稱性」或洞見。

數學家們擔憂,當AI成為研究協作者時,如何界定「原創」並保護人類智力勞動的署名權,將是未來科學研究轉型期必須面對的挑戰。

FACT BOX · 重點整理

  • 來源:PR Times
  • 分類:新聞
  • 相關組織:OpenAI / Yeshiva University / University of Cambridge
  • 產品、服務:Astra