Claude沒解出黎曼猜想，卻把人類41.6%的紀彔推到67.2%

BiRun 訊，Anthropic 讓一個尚未發布的 Claude 研究版挑戰黎曼猜想。這個困擾數學界 160 多年的難題認為，與質數分布有關的一批零點，應該全部落在衕一條綫上。

數學家一直在証明到底有多少零點確實在綫上，此前最高只能確定至少 41.6%。Claude 把這個紀彔直接提高到了 67.2%。

過程並不順利。Claude 第一輪試了 650 個思路，一個都沒成功。第二輪調動約 60 個子 Agent 連續研究一天半，其中只有兩個 Agent 找到了關鍵數學思路。它們最終把近年的數論成果和數學家 Bombieri 2000 年的一項研究接了起來，推導出了新的証明。

Anthropic 兩名數學家驗証了結果，Claude 還完成了 Lean 形式化証明。兩名外部數論專家也檢査了論文。

Anthropic