[爆卦] Claude在黎曼猜想推進遠超人類數十年成果
https://www.anthropic.com/research/riemann-zeta
https://www-cdn.anthropic.com/564f962e60643842f5fcb4a17c9dbc8f608f1c37.pdf
黎曼猜想是關於黎曼ζ函數ζ(s)零點分布的猜想
ζ函數在負偶數上也有零點
這些零點是平凡零點
德國波恩哈德・黎曼在1859年猜想:黎曼函數非平凡零點的實數部份是1/2
所有非平凡零點都應該位於直線1/2+it(臨界線)上
t為實數,i為虛數單位
質數出現頻率與黎曼ζ函數緊密相關
重要的數學和物理結果都能在它成立的前提下得證
上世紀數學界領導人希爾伯特:‘’如果我在沉睡1000年後醒來,我將問的第一個問題
便是:黎曼猜想證明了嗎‘’
克雷研究所將其定為千禧年七大數學難題之一並懸賞一百萬美元證明獎金
Anthropic員工Jarred Summer是Bun的締造者
16歲從高中輟學且幾何課只上了半年的他
卻在8天前的晨跑途中隨口命令Claude證明黎曼猜想
首次嘗試中Claude生成並試了650個點子但全部失敗
Sumner沒有參與推導
他給的提示大都只有兩個意思:‘’繼續‘’及‘’相信你自己‘’
Jarred Sumner要求Claude再試一次
Claude自己拉起60多個子智能體並跑了一天半
各Agent分工:
2個想出了關鍵數學思路
13個給這2個喂想法、當外援
30個試了但什麼也沒試出來
13個當驗證員,專門挑推導的錯
最後2個負責把論文初稿寫出來
真正貢獻核心數學想法的只有兩個子Agent:E2和E2-pairs
Claude讓agent自arXiv下載54篇論文以確認是否曾被提出
子代理共執行2400道Shell指令並撰寫數百支Python腳本
針對已知zeta零點執行數千次數值檢核
兩個會話一共燒掉3100萬輸出token
最後Anthropic數學家Levent Alpoge和Ralph Furman研讀並驗證Claude的論文
Claude也生出可形式化驗證的證明
Claude突破的是黎曼猜想兩大證明思路之一:證明多少比例的零點位於臨界線上
-經過數十年數學家得出比例為41.6%
1973年Montgomery研究零點之間的配對相關並在假設黎曼猜想成立下得到關於簡單零點比
例的2/3結果
這推導的一側可通過質數進行計算且這部分本身不用黎曼猜想
需要黎曼猜想的地方是如何解釋另一側的零點貢獻
只要存在臨界線外的零點
原來的逐項正性就會失效
近年Baluyot、Goldston、Suriajaya和Turnage-Butterbaugh等建立了不依賴黎曼猜想的
零點配對相關結果
Goldston和Suriajaya提出:若能去掉Montgomery證明中剩餘的黎曼猜想條件
2/3就可能無條件成立
而Claude結合了Bombieri在2000年的觀察
把Weil公式限制在一個有限維的Gabor函數空間中
這樣原本的解析數論問題可表示成Hermitian矩陣問題
臨界線上零點貢獻正方向
臨界線外零點會對稱出現
每對零點貢獻簽名為(1,1)的二維塊
Claude提出的秩—跡不等式可同時處理這兩類貢獻
再用能從質數一側計算的一階矩和二階矩估計臨界線上零點數量
Montgomery的不等式:m^2>=2m-1,m為整數
Claude把類似的計數關係改寫成適用於Hermitian矩陣的秩—跡不等式
矩陣特徵值不用是整數也能得到相應下界
最終公式可以直接寫成:H(λ)=2-1/λ-λ/3
λ為測試函數的標準化頻寬
取λ=1則可得到H(1)=2/3
再用Montgomery—Taylor最優窗函數
結果提高到67.25%
過去37年數學家才推進0.8%
如今Claude直接提升了25.6%
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.83.4.131 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1786449180.A.CB5.html
推
08/11 19:54,
2周前
, 1F
08/11 19:54, 1F
推
08/11 19:54,
2周前
, 2F
08/11 19:54, 2F
推
08/11 19:54,
2周前
, 3F
08/11 19:54, 3F
推
08/11 19:54,
2周前
, 4F
08/11 19:54, 4F
→
08/11 19:54,
2周前
, 5F
08/11 19:54, 5F
推
08/11 19:54,
2周前
, 6F
08/11 19:54, 6F
推
08/11 19:55,
2周前
, 7F
08/11 19:55, 7F
→
08/11 19:55,
2周前
, 8F
08/11 19:55, 8F
→
08/11 19:55,
2周前
, 9F
08/11 19:55, 9F
推
08/11 19:55,
2周前
, 10F
08/11 19:55, 10F
→
08/11 19:55,
2周前
, 11F
08/11 19:55, 11F
推
08/11 19:56,
2周前
, 12F
08/11 19:56, 12F
推
08/11 19:56,
2周前
, 13F
08/11 19:56, 13F
→
08/11 19:56,
2周前
, 14F
08/11 19:56, 14F
推
08/11 19:57,
2周前
, 15F
08/11 19:57, 15F
→
08/11 19:57,
2周前
, 16F
08/11 19:57, 16F
推
08/11 19:58,
2周前
, 17F
08/11 19:58, 17F
推
08/11 19:58,
2周前
, 18F
08/11 19:58, 18F
推
08/11 19:59,
2周前
, 19F
08/11 19:59, 19F

推
08/11 20:00,
2周前
, 20F
08/11 20:00, 20F
推
08/11 20:02,
2周前
, 21F
08/11 20:02, 21F
推
08/11 20:02,
2周前
, 22F
08/11 20:02, 22F
推
08/11 20:03,
2周前
, 23F
08/11 20:03, 23F
推
08/11 20:04,
2周前
, 24F
08/11 20:04, 24F
推
08/11 20:04,
2周前
, 25F
08/11 20:04, 25F
→
08/11 20:05,
2周前
, 26F
08/11 20:05, 26F
→
08/11 20:06,
2周前
, 27F
08/11 20:06, 27F
推
08/11 20:07,
2周前
, 28F
08/11 20:07, 28F
推
08/11 20:07,
2周前
, 29F
08/11 20:07, 29F
→
08/11 20:07,
2周前
, 30F
08/11 20:07, 30F
→
08/11 20:08,
2周前
, 31F
08/11 20:08, 31F
推
08/11 20:09,
2周前
, 32F
08/11 20:09, 32F
※ 編輯: jackliao1990 (111.83.4.131 臺灣), 08/11/2026 20:17:41
推
08/11 20:09,
2周前
, 33F
08/11 20:09, 33F
推
08/11 20:11,
2周前
, 34F
08/11 20:11, 34F
推
08/11 20:12,
2周前
, 35F
08/11 20:12, 35F
推
08/11 20:15,
2周前
, 36F
08/11 20:15, 36F
推
08/11 20:17,
2周前
, 37F
08/11 20:17, 37F
還有 42 則推文
推
08/12 00:09,
2周前
, 80F
08/12 00:09, 80F
→
08/12 00:09,
2周前
, 81F
08/12 00:09, 81F
推
08/12 00:42,
2周前
, 82F
08/12 00:42, 82F
推
08/12 04:18,
2周前
, 83F
08/12 04:18, 83F
推
08/12 08:05,
2周前
, 84F
08/12 08:05, 84F
→
08/12 08:20,
2周前
, 85F
08/12 08:20, 85F
推
08/12 08:51,
2周前
, 86F
08/12 08:51, 86F
推
08/12 08:56,
2周前
, 87F
08/12 08:56, 87F
推
08/12 09:22,
2周前
, 88F
08/12 09:22, 88F
推
08/12 09:28,
2周前
, 89F
08/12 09:28, 89F
推
08/12 09:42,
2周前
, 90F
08/12 09:42, 90F
推
08/12 09:43,
2周前
, 91F
08/12 09:43, 91F
→
08/12 09:44,
2周前
, 92F
08/12 09:44, 92F
→
08/12 09:45,
2周前
, 93F
08/12 09:45, 93F
推
08/12 09:47,
2周前
, 94F
08/12 09:47, 94F
→
08/12 09:47,
2周前
, 95F
08/12 09:47, 95F
推
08/12 10:45,
2周前
, 96F
08/12 10:45, 96F
→
08/12 10:45,
2周前
, 97F
08/12 10:45, 97F
→
08/12 11:15,
2周前
, 98F
08/12 11:15, 98F
推
08/12 13:31,
2周前
, 99F
08/12 13:31, 99F
→
08/12 13:31,
2周前
, 100F
08/12 13:31, 100F
→
08/12 13:31,
2周前
, 101F
08/12 13:31, 101F
推
08/12 14:03,
2周前
, 102F
08/12 14:03, 102F
推
08/12 14:09,
2周前
, 103F
08/12 14:09, 103F
→
08/12 14:10,
2周前
, 104F
08/12 14:10, 104F
→
08/12 14:10,
2周前
, 105F
08/12 14:10, 105F
→
08/12 14:11,
2周前
, 106F
08/12 14:11, 106F
→
08/12 14:11,
2周前
, 107F
08/12 14:11, 107F
→
08/12 14:12,
2周前
, 108F
08/12 14:12, 108F
→
08/12 18:19,
2周前
, 109F
08/12 18:19, 109F
推
08/12 18:40,
2周前
, 110F
08/12 18:40, 110F
→
08/13 00:27,
2周前
, 111F
08/13 00:27, 111F
→
08/13 00:27,
2周前
, 112F
08/13 00:27, 112F
→
08/13 00:28,
2周前
, 113F
08/13 00:28, 113F
→
08/13 00:31,
2周前
, 114F
08/13 00:31, 114F
→
08/13 00:31,
2周前
, 115F
08/13 00:31, 115F
→
08/13 00:32,
2周前
, 116F
08/13 00:32, 116F
→
08/13 00:38,
2周前
, 117F
08/13 00:38, 117F
→
08/13 00:46,
2周前
, 118F
08/13 00:46, 118F
→
08/13 00:46,
2周前
, 119F
08/13 00:46, 119F
討論串 (同標題文章)
完整討論串 (本文為第 1 之 2 篇):