Claude 把黎曼假設成立的零點比例下界從 41.6% 提到 67.2%

Anthropic 一個未發布的研究版 Claude 把黎曼 zeta 函式零點中滿足黎曼假設的比例下界，從沿用已久的 41.6% 提高到 67.2%。該結果在 Claude Code 中分兩次會話、消耗 3100 萬輸出 token 得到：先試的 650 個思路全部失敗，隨後排程約 60 個子代理、執行 2400 條 shell 命令，並下載 54 篇 arXiv 論文查重。

未發表的 Claude 研究版在有百萬美元懸賞的黎曼假設相關問題上，把沿用數十年的零點比例下界從 41.6% 抬到 67.2%，並給出可機器校驗的 Lean 證明，對關注 AI 數學能力上限的研究者是一次可驗證的進展。

原標題：Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
閱讀原文