Claude 將黎曼 ζ 函式臨界線零點比例下界從 41.6% 推進至 67.2%

Claude 將黎曼 ζ 函式臨界線零點比例下界從 41.6% 推進至 67.2%。 這項成果源自一次原本要挑戰未解問題的嘗試，並已由人類數學家檢視、以 Lean 完成形式化證明。 核心成果　AnthropicAI 於 2026 年 8 月 11 日分享這項研究；前一天發布的研究文章指出，黎曼猜想自 1859 年提出至今仍未被證明或推翻，且設有 100 萬美元獎金。猜想主張，與質數分布有關的黎曼 ζ 函式非平凡零點，都位於 Re s = 1/2 這條垂直線上。Claude 沒有解決這個猜想，但在相關問題上取得進展： 已知位於臨界線上的零點比例下界，從 41.6% 提升至 67.2%。 Jarred Sumner 貼出的定理版本寫成：當 T < Im ρ ≤ 2T 時，至少 (2/3 − o(1)) 的非平凡零點位於 Re s = 1/2。 這超越了過去由 mollifier 方法得到的 5/12 紀錄；該問題曾由 Goldston–Suriajaya 在 2025 年 11 月的 arXiv 論文 arXiv:2511.20059 提出為開放問題。 來源：@jarredsumner（回覆）｜深色背景對話框，內容為要求接續解 Riemann 猜想工作的 prompt，下方標註時間為 last week 並帶有複製與時鐘圖示。 Claude 的數學做法　Claude 並非從零創造整套理論，而是把既有成果接在一起。Jarred Sumner 特別強調，主要數學基礎來自 Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh 的近期研究，以及 Bombieri 於 2000 年發表的論文；Claude 的關鍵貢獻，是看出這些結果可以如何組合。Goldston 也檢視了這篇論文，Claude 則將證明形式化為 Lean 程式碼。 技術上，Claude 建立一個由 Weil 二次型誘導的函式空間，再分別處理臨界線上零點帶來的正定子空間，以及偏離臨界線的零點帶來的負定結構。它沒有逐一估算可能受偏離臨界線零點影響的複雜雙重和，而是對整個非對角二次型套用以秩、跡與一階／二階矩為核心的不等式，最後從矩陣的整體結構推出零點數量下界。 左右拼貼的平面設計圖，左側為米色背景印有密集的數字與手繪箭頭符號，右側上半為芥末黃色底紋，下半為白色網格紙背景，上方置有一支金屬製的圓規，左腳尖端為金屬針頭，右腳夾有鉛筆筆芯。 證明中的關鍵數據　Jarred Sumner 貼出的技術草稿，將矩陣 Ĝ 從兩個角度描述：一方面由 Weil 形式與零點構成，另一方面由顯式公式轉換成包含 Γ′/Γ 項與 n≤X 質數和的表達式。這個轉換的重要性在於，後者不含零點的實部 β，因此可直接取得整體大小，而不必假設每個零點項個別有界。 草稿列出的核心估計包括： tr Ĝ = (1+o(1))N ‖Ĝ‖²_F = (4/3+o(1))N 臨界線上的零點形成正半定矩陣 P，且 rank P ≤ s+o(N)。 偏離臨界線的零點以成對結構形成 Q，其正特徵值數量受偏離臨界線零點對數量限制。 Poisson 求和提供零點計數關係，控制 tr P + 2p。 高度落在 (T−√T, 2T+√T] 之外的誤差矩陣 E 滿足 ‖E‖₁ ≪ T^{−1/2}。 接著，Claude 使用一個適用於 Hermitian P⪰0 與一般 Q 的 rank–trace inequality，將 rank P 下界化。代入跡、Frobenius 範數、零點計數與誤差估計後，得到 (4 − 2 − 4/3 − o(1))·N = (2/3 − o(1))·N。這套推導的重點，是讓臨界線上的零點與偏離臨界線的零點同時留在同一個矩陣分析中；兩者可能各自很大、彼此抵消，但不必分開控制其個別大小。 拼貼風格的合成畫面，左側為米黃色背景的手寫數值與箭頭符號圖表，右側上下分為棕色紋理與白色方格紙，右側中央置有一支帶有刻度與鉛筆芯的金屬製圓規。 研究流程與人類角色　Anthropic 的研究文章指出，這項結果由未公開研究版本的 Claude 在兩個 Claude Code session 中完成，總計產生 3,100 萬個 output token。Jarred Sumner 在 2026 年 8 月 3 日前後重新嘗試，讓 Claude 對黎曼猜想「take a real stab」；先前一次單一 session 沒有進展，重新開始後，Claude 曾產生並測試 650 個想法，仍未成功，之後花一天半協調約 60 個 Claude subagents： subagents 執行 2,400 個 shell commands，撰寫數百個 Python scripts。 它們針對已知黎曼 ζ 函式零點進行數千次數值檢查，並互相審查推導。 Claude 搜尋反例、下載 54 篇 arXiv 論文確認成果未被先前研究提出，並從頭獨立重做證明。 Levent Alpöge 與 Ralph Furman 代表 Anthropic 檢查結果；Claude 也與 Eric Easley 合作完成 Lean formalization，並通過標準驗證工具 comparator。 成果的限制　Jarred Sumner 表示自己不是數學家，16 歲高中輟學，只修過約半學期的高二幾何，沒有對論文提供數學內容；他的主要作用是反覆鼓勵 Claude「keep going」或「believe in yourself」。Anthropic 也明確表示，Claude 使用的技術預期無法導向黎曼猜想本身的證明。因此，這次分享的重點不是宣稱 AI 已解決黎曼猜想，而是展示 Claude 如何在既有數學研究上找到新的組合方式，將相關零點比例的已知下界推進到 67.2%。原文：https://easyvibecoding.app/curated/2919-claude-advances-riemann-zeta-critical-line-zero-proportion