Anthropic 週一宣佈，其一個尚未釋出的 AI 模型在黎曼猜想上取得了顯著進展，顯著提高了該猜想成立解的下界。黎曼猜想是數學界最著名的未解難題之一，涉及素數分佈的規律，懸而未決超過 150 年，目前懸賞 100 萬美元徵求完整證明，但至今無人領取。

更引人注目的是這一進展的實現方式。據 Anthropic 介紹，一名缺乏數學專業訓練的員工向模型發出指令，要求其“認真嘗試”證明黎曼猜想，隨後模型在接下來的一天半內自主協調任務。整個過程模型測試了 650 種不同的解題思路，協調了 60 個子代理，總花費達 3100 萬美元。論文腳註詳細說明了分工：其中兩個子代理負責提出關鍵數學思想，13 個為這些思想提供貢獻，30 個嘗試但未能提出新想法，13 個負責驗證論證的正確性，最後兩個協助撰寫初始論文。

成果已由 Anthropic 內部兩位數學家確認，並使用開源證明助手 Lean 進行了形式化驗證。這並非 AI 首次在數學領域取得突破。今年以來，多個 Erdős 問題已被 AI 模型解決，更強模型的釋出也帶來了更亮眼的結果。OpenAI 近期公佈了其內部“Astra”模型證明的十項重大成果，Anthropic 的另一項工作則反駁了長期存在的雅可比猜想。

這些成果在數學界引發了興奮與擔憂。今年 6 月，一群知名數學家簽署公開宣告，擔心 AI 可能削弱該領域的核心價值，特別是數學證明應“歸功於具體作者，他們為自己的發現負責”的標準。然而，數學界對此仍存在分歧。菲爾茲獎得主蒂莫西·高爾斯在回應宣告的部落格文章中質疑，AI 的影響可能以更復雜、更積極的方式改變數學。他寫道：“如果我們到達一個數學定理不再與數學家相關聯的世界，也許這不會比星星不以天文學家命名、大多數星星根本沒有名字更成問題。”

這一事件再次引發關於當代 AI 能否發現新科學和數學思想的長期討論。儘管 AI 尚未解決黎曼猜想，但其在探索性任務中展現的自主性和協調能力，可能預示著 AI 在科研中角色的轉變。對於關注 AI 前沿的投資者而言，這標誌著 AI 能力邊界的又一次拓展，儘管其實際應用和商業影響仍有待觀察。