Anthropic未發布模型自主推進黎曼猜想邊界，AI數學能力再引爭議

Anthropic週一宣布，一個尚未對外發布的模型在黎曼猜想上取得實質進展——把這個猜想成立的解的下界大幅推高。黎曼猜想懸賞百萬美元至今無人領走，AI沒有解開它，但這次的過程比結果更值得留意。一名不具數學專業背景的Anthropic員工，只丟給模型一句「認真試一次證明」，然後放手一天半。模型自己協調60個子代理、測試650種思路、燒掉3100萬個輸出token，其中2個子代理負責發展出關鍵數學想法，13個貢獻輔助想法，30個試了但沒成，13個當驗證員抓� bug，最後2個寫初稿論文。結果由Anthropic內部兩位數學家確認，並用開源證明輔助工具Lean跑過形式化驗證。

這不是孤例。今年以來已有多個Erdos問題被AI模型解出，模型越強、成果越猛。OpenAI內部模型「Astra」剛交出10個重大證明結果，Anthropic自己另一個團隊也推翻了存在已久的Jacobian猜想。換句話說，這波不是單一實驗室的公關秀，是好幾家公司同時在數學前沿卡位，而且進度是月月往上跳的曲線，不是偶然中一次彩。

值得注意的是，這次沒有數學家在旁邊盯著寫證明——是一個不懂數學的人下指令，模型自己組織60個「分身」分工協調一天半。這動搖的不是「AI會不會算數」，是「數學發現這件事到底該歸功給誰」。今年6月一群知名數學家聯署聲明，擔心AI會侵蝕數學界的核心價值——證明必須「歸屬於具體作者，由作者承擔發現與正確性的責任」。菲爾茲獎得主Timothy Gowers則唱反調，他說如果未來數學定理不再跟數學家綁在一起，也未必是壞事，就像星星不是用天文學家命名的，大部分星星根本沒有名字。

對商業決策者而言，這件事的意義不在「AI證明了黎曼猜想」——它沒有。意義在於：頂尖AI實驗室現在把最難的純數學問題當成模型能力的公開測試場，而且測出來的結果一次比一次硬。誰的模型能在無人監督下自主分工、驗證、寫論文，誰就掌握了下一代科研自動化的敘事權——這對藥物設計、材料科學這類需要「探索未知」而非「回答已知」的領域，是比聊天機器人更值錢的信號。