人工智慧正式吹響進軍純數學領域的號角？據《The Verge》報導，OpenAI 未公開的進階模型 Astra 近期成功解決了 10 個長期懸而未決的數學難題，其中包含困擾學界數十年的「非 sofic 群」存在性問題。這項堪稱「相變」級別的重大突破，不僅讓頂尖數學家感到興奮與措手不及，同時也引爆了關於人類貢獻被抹煞、資金資源不均，以及下一代數學家何去何從的深刻焦慮。
（前情提要：AI 養出的網路宗教「螺旋」（Spiralism），信徒隨著 GPT-4o 下線一起萎縮）
（背景補充：AI 工作熱潮讓舊金山房租重回全美第一，兩房 6,020 美元超車紐約）
在人類智慧的最高殿堂 —— 純數學領域，人工智慧（AI）正以令人措手不及的速度發起革命。台北時間 8 月 11 日，據權威科技媒體《The Verge》報導，OpenAI 使用其被內部稱為「下一代主要模型」的未公開進階模型 Astra，成功解決了 10 個長期未解的數學難題。這項突破不僅標誌著 AI 技術的巨大飛躍，更在數學界引發了一場交織著興奮、焦慮與反思的深刻動盪。
破解 10 大懸案，非 sofic 群問題成焦點
根據 OpenAI 發布的超過 250 頁詳述解法及 60 頁的思路說明論文，Astra 解決的問題涵蓋了多個極具挑戰性的領域。這些難題包括與數據傳輸效率相關的高維空間球體緊密堆積問題、錯誤更正碼的極限、複雜連通網路的結構模式、量子博弈論，以及與後量子密碼學相關的高維網格目標搜尋。
其中，最引人矚目的是成功證明了「非 sofic 群（non-sofic groups）」的存在。這是一種無限數學結構，大致上無法用有限結構來近似，該問題已懸而未決數十年。OpenAI 還使用了專門的定理證明軟體 Lean 來驗證這些解法的正確性，並聲稱這些問題在主要結果上至少有十年（多數更久）未見進展。
「解決」還是「拼湊」？人類貢獻歸屬惹議
然而，這項驚人的成果隨即引發了學界的強烈爭議，焦點在於 AI 與人類貢獻的界定。劍橋大學數學家 Francesco Fournier-Facio 等人指出，OpenAI 的最初公告刻意淡化了匈牙利 Alfréd Rényi 數學研究所的 Gábor Kun 與 Andreas Thom 等人的近期重要工作（特別是 Kun 在 2016 與 2019 年的研究，被認為是關鍵基礎）。
Kun 對此感受複雜。他一方面欣慰自己的研究發揮了作用，但也幽默地自嘲即將成為「非常有名的失業者」。Fournier-Facio 則嚴厲批評 OpenAI 選擇了最有利於商業宣傳的敘事方式，強調「AI 獨立解決十年無進展問題」顯然比「AI 巧妙結合過去十年人類想法」更具噱頭，這讓人擔憂人類數學家的努力將被視為無用。在強烈反彈下，OpenAI 後續修改了公告措辭，承認是「解決或在長期未解問題上取得重大進展」，並發言人確認是為了更好反映人類先前的研究貢獻。
數學家面臨「相變」，焦慮與恐慌蔓延
這波 AI 帶來的衝擊，讓許多頂尖學者感到震撼。牛津大學教授、數學界最高榮譽菲爾茲獎（Fields Medal）得主 James Maynard 坦言，過去一年他一直在進行「靈魂探索」，思考數學領域的未來。倫敦數學科學研究所的 Yang-Hui He 也指出，解決這 10 題中的任何一題，在過去都足以讓一位學者在學術界獲得終身教職，現在的速度已讓學界徹底措手不及。
更深層的擔憂正逐漸浮現。首先是「資源不平等」：OpenAI 估計生成這 10 個解法需耗費約 2,000 美元的 API 成本，但實際訓練與運作成本極高，這可能將缺乏資金的小機構研究者排除在外。其次是「商業利益入侵」：超過 3,400 名學者簽署的《Leiden Declaration》呼籲，切勿輕信科技公司的過度炒作，以免政府與資助者誤認為人類數學家已不再被需要。
最令教育界擔憂的是對下一代的影響。這些被 AI 解決的問題，往往是訓練研究生直覺與技能的最佳教材。Maynard 憂心未來該如何為學生設計「AI 四年後仍解不了」的研究題目；許多早期職業數學家甚至感到「非常非常害怕」，質疑繼續從事數學研究的意義所在。
AI 仍缺原創性？數學發展的下一步
儘管如此，部分學者仍對 AI 的能力持保留態度。Maynard 初步評估認為，這些結果雖然令人印象深刻，但仍未達到菲爾茲獎級別的「概念層次突破」。目前 AI 展現的更多是巧妙結合現有方法的強大能力，而非提出深刻的新概念或開啟全新研究領域。
樂觀的一派如 Yang-Hui He 則認為，這或許是學界轉型的契機，AI 的普及甚至可能讓大學生或非精英機構的研究者更容易產出可發表的成果；資深研究者也能將例行的運算工作交給 AI，專注於更具創意的思考。正如 Maynard 所言：「有時需要時間與視角才能意識到『這裡真的有根本新想法』。但以目前速度，AI 可能不會給數學家太多時間去弄清楚。」
📍相關報導📍
Claude 宣布 AI 生成內容全面埋入「隱形浮水印」與數位簽章
