OpenAI 近日公佈，其先進的未釋出模型 Astra 成功解決了 10 道長期未解的數學難題，其中一些已困擾學界數十年。這一訊息在數學界引發強烈反響，牛津大學教授、菲爾茲獎得主 James Maynard 向 The Verge 表示，過去一年他一直在“靈魂拷問”，思考這個傳統上進展緩慢的學科如何快速適應 AI 的到來。

Maynard 的擔憂並非孤例。多位接受 The Verge 採訪的數學家表示，他們對 AI 加速數學發現的潛力感到興奮，但也對這門學科的未來感到憂慮，甚至絕望。幾乎沒有人懷疑，一場深刻的變革已經發生。

OpenAI 解決的難題涵蓋了從高度抽象到具有實際應用價值的多個數學領域。其中一項突破涉及高維空間中球體的最緊密堆積問題，這與資料編碼和傳輸的效率直接相關；另一項則推進了糾錯碼的極限，有助於從噪聲訊號中恢復資訊；還有一項解決了關於複雜連線網路在出現結構模式之前能有多複雜的兩個長期問題。此外，研究還涉及量子博弈論、高維網格中的目標搜尋，以及後量子網路安全相關技術。

最引人注目的成果之一是關於非 sofic 群的存在性——這是一種無法用有限結構近似的無限數學結構，其存在性問題已開放數十年。然而，這一成果也引發了關於功勞歸屬的爭議。劍橋大學數學家 Francesco Fournier-Facio 告訴 The Verge，他和該領域的其他研究者認為，OpenAI 最初的公告低估了 Andreas Thom 和 Gábor Kun 的貢獻，後者的近期工作為這一結果奠定了基礎。

OpenAI 最初發布公告時稱，其分享的是“對至少十年未見進展、多數情況下更久未解決的主要問題”的成果。但隨後，公告措辭被修改為“分享的成果解決了長期未解問題或取得了實質性進展”，且未附任何更正說明。匈牙利 Alfréd Rényi 數學研究所的 Kun 表示，OpenAI 在釋出前曾通過電子郵件聯絡他，他當時覺得公告中“相當滑稽”的措辭與所附研究論文“明確說明建立在我 2016 年和 2019 年成果之上”不符。釋出後，OpenAI 再次聯絡 Kun，一位 OpenAI 數學家解釋稱，原措辭意在指代集合中的其他結果，“並非暗示該問題沒有進展”，並承認“論證確實關鍵依賴於你的工作”，隨後請求修改措辭。OpenAI 發言人 Laurance Fauconnet 向 The Verge 確認，公告已更新，“以更好地反映這些成果所基於的先前研究”。

這場爭議凸顯了 AI 在科研中角色定位的複雜性。數學家們既看到了 AI 加速發現的巨大潛力，也擔憂人類在科研中的獨特價值被削弱。隨著 AI 越來越多地介入基礎數學研究，如何公平分配功勞、如何定義“原創性”，將成為學界必須面對的新課題。