AI 風向標｜Claude 在黎曼猜想相關問題取得進展，但並未證明黎曼猜想
Claude 在黎曼猜想相關問題取得進展，但並未證明黎曼猜想
Anthropic 公布，一個未發布的 Claude 研究版本在探索黎曼猜想時，為一個相關問題提出了新的下界：可證明位於臨界線上的黎曼 ζ 函數零點比例，從既有的 41.6% 提升至 67.2%。這不是黎曼猜想的證明，也不表示猜想已經完成 67.2%；它指的是對「至少有多少零點符合該條件」的數學保證有所加強。
這次成果的重要背景，是黎曼猜想自 1859 年提出以來仍未解決，而 ζ 函數零點與質數分布密切相關。Anthropic 表示，係統結合了既有數論研究中的結果，再以大量計算和交叉檢查尋找可行論證。該公司稱，模型在兩段 Claude Code 工作階段中先嘗試數百個未成功的方向，其後協調多個子代理進行數值檢查、文獻比對、反例搜尋與獨立重證。兩位 Anthropic 的數學家審閱了論文，係統亦產生可由 Lean 驗證的形式化證明；外部專家曾檢視相關工作，但公開資料仍不足以把它視為已完成的獨立同行評審。
對 AI 研究工具而言，這件事的價值不在於宣稱模型可以取代數學家，而是顯示代理式工作流能把文獻檢索、符號與數值實驗、失敗假設的淘汰、反例檢查及形式化驗證串成可重複的研究迴圈。適用場景可能包括有明確可驗證條件的理論研究、程式驗證與科學計算；但模型提出的任何新結論仍需由領域專家審查，並公開足夠資料以供重現。對採用這類係統的團隊，較務實的做法是將模型定位為能擴大探索範圍的研究助手，同時保留人類覆核、可追溯實驗紀錄與形式化工具作為品質門檻。