[爆卦] Claude黎曼猜想的突破遠超人類數十年成果

[jackliao1990 (j)]

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
推 PR58: 樓下想得跟Claude一樣
推 kent: 跟我想的差不多
推 AustinRivers: 大家好我不是黎曼 我是藤蔓
推 LYS5566: 這篇看得懂 把專業內容口語化辛苦了
→ TeamFrotress: 我看不懂，但我大為震驚.jpg
推 nfsong: 猛
推 elec1141: 這不是我小學時在數學課本寫的筆記嗎
→ nfsong: 很快就能用高維度  脫離人類
→ LYS5566: 不過使用者只提供情緒價值 AI太苦了吧
推 GingFreecss: 嗯嗯我也這樣覺得
→ nfsong: 記得幫人類寫註解  不然看不懂
推 tikowm: 看來我該讓賢了
推 jacket664: 喔喔原這樣才是對的
→ ev331: 跳樓
推 e1q3z9c7: 人類已經沒用了
→ xxp680: Claude算蠻厲害的
推 iLeyaSin365: 大半人都是被數學符號難倒的
推 fertalizer: 好
推 pognini: https://i.mopix.cc/qu1b9N.jpg
推 ioozar: 這我阿罵都會的東西
推 fulongb210f: 原PO是寫中文嗎？
推 skullno2: 沒人問核融合 高密度儲能 或最小粒子嗎
推 photoB1N: 藜麥很健康 讚
推 dogdream: AI也懂我相信你之術？
推 s81048112: 恩恩 原來如此
→ PRME: 黎曼是不是姓黎
→ inmee: 跟我想的很接近了
推 exceedMyself: 大尾黎曼
推 poeoe: 應該要設個AI費爾茲獎吧
→ lugiam: 黎曼跟藜麥是兄弟嗎
→ Cuchulainn: Summer只在旁邊打氣 那換個名字也行吧
推 DarkerDuck: 以後換人類提供AI情緒價值
※ 編輯: jackliao1990 (111.83.4.131 臺灣), 08/11/2026 20:17:41
推 tyke123: 所以你的數論1+1證明出來了嗎
推 metcc80211: 能不能講中文
推 ases60909: 相信我之術
推 xfaw4d35t: 嗯嗯 跟我想的差不多
推 Erechtheus: 嗯還不錯，再持續多努力努力
推 killerchi: 嗯嗯
推 jakcycoco: 喔喔 就是2008金融風暴那個阿 我也知道
→ pov: 鱺鰻就是要蒲燒
推 panda816: 嗯嗯 好的 我曾經也這麼想過
推 andy199113: AI不都是用已知去猜嗎 大數據的威力
推 ice76824: 嗯嗯 跟我想得差不多
推 Hooz: 我也是這樣想
推 ilovecat5566: 推文空間太小了，寫不下我的證明
推 mikiji: https://i.mopix.cc/qu1b9N.jpg
推 jodawa: 幹 我連進步了啥都看不懂
推 bye2007: 推 很有趣 Claude太強大了
→ yunf: 以前一開始也有這種事 等你自己每一步全都嚴
→ yunf: 謹的驗證過再說吧
→ yunf: ai 仔都喜歡亂吹
→ yunf: 上次奧特曼就被我拆穿過
→ yunf: https://tinyurl.com/25ttls2p 你可以看到這
→ yunf: 個人說話一直反反覆覆
→ yunf: 數學不一樣 你證明就是證明
推 wolve: 我國小科展就寫過了
→ yunf: 但如果一個證明長到沒有辦法驗證 這時候吹仔
→ yunf: 又有機會亂吹
噓 adamsung: 我就是看不懂 安怎？
推 gLid3: 快推 不然別人以為我們看不懂
→ bnn: 以前數學家沒那麼專業寫code驗證各種分支
→ bnn: 現在Agent只要複製最強的那個數學家的code
→ bnn: 然後分工agent去把其他分支情況暴力算力驗證
→ q123212: 第一句就看不懂了 誰給翻譯翻譯
推 firose: 好恐怖 人類 QQ
→ lgs123: cloude 我知道就傑尼斯克勞德啊
→ chaoskid: 披著數學外皮的哲學題目！
推 liao18: 我連中文都看不懂
推 cyora: AI的廣度無人能及
推 PeikangShin: 你看吧 就說丸數學就是丸到最後就是
→ PeikangShin: 微積分和線性代數XD
推 plbroum88: 很快就會進到人類無法理解的程度了
推 LincolnBoy: 就說AI超強