Anthropic 未發布模型在黎曼猜想取得重大進展，協調 60 個子代理並消耗 3100 萬 token

據報導，Anthropic 宣布其尚未發布的 AI 模型在擁有 150 年歷史的數學難題「黎曼猜想」上取得重大進展，大幅提高了該猜想成立的解的下界。該進展由一名無深厚數學背景的 Anthropic 員工下達提示詞後，交由模型在一天半內自主協調完成。 模型總計消耗 3100 萬輸出 token，協調 60 個子代理測試了 650 種不同的解題想法。論文註腳指出，在 60 個子代理中，2 個負責發展關鍵數學概念，13 個提供想法，30 個嘗試但未能產出新概念，13 個擔任驗證者檢查論證正確性，最後 2 個協助撰寫初始論文。此發現已獲兩位 Anthropic 內部數學家確認，並使用開源證明助手 Lean 進行形式化。 近期大型語言模型（LLM）在數學領域屢獲突破，包含 AI 模型在今年解決多項 Erdos 問題、OpenAI 內部模型「Astra」證明 10 項重大結果，以及 Anthropic 稍早推翻了長期的 Jacobian 猜想。這些進展在數學界引發分歧，部分數學家於 6 月連署擔憂 AI 將破壞數學證明需歸功於特定作者並由其負責的傳統；但菲爾茲獎得主 Timothy Gowers 則認為，這可能以更複雜且正面的方式改變數學領域，如同恆星並未以天文學家命名一般。