🔥 PTT.BEST 批踢踢爆文 💬 八卦 Gossiping 😊 希洽 C_Chat 💰 股票 Stock 🏠 房屋 home-sale 🏀 美國職籃 NBA ⚾ 棒球 Baseball 👛 省錢 Lifeismoney 🚗 汽車 car 😡 政黑 HatePolitics 💻 電蝦 PC_Shopping 🥰 韓星 KoreaStar ✨ 英雄聯盟 LoL 🍿 電影 movie 🪖 軍事 Military 📡 通訊 MobileComm 🏀 台籃 basketballTW 🍼 寶媽 BabyMother 🇯🇵 日旅 Japan_Travel 🏭 科技 Tech_Job 👉 男女 Boy-Girl 👉 真香 CheerGirlsTW 👧 女孩 WomenTalk 👻 媽佛 marvel 💳 卡版 creditcard 👉 NS NSwitch 👉 PS5 PlayStation 👉 大氣 TY_Research 👉 婚姻 marriage 👉 台南 Tainan 👉 台中 TaichungBun 👉 Steam Steam 👉 高雄 Kaohsiung 👉 羽球 Badminton 👉 超商 CVS 👉 米哈遊 miHoYo 👉 iOS 👉 兄弟 Elephants 👉 日劇 Japandrama 👉 玄幻 CFantasy 👉 ES e-shopping 👉 WOW 👉 遊戲交易 Gamesale 👉 4X BaseballXXXX 👉 Lakers 👉 韓劇 KoreaDrama 👉 汽車買賣 CarShop 👉 機車 biker 👉 新竹 Hsinchu 👉 美保 BeautySalon 👉 串流 OTT 👉 歐美影集 EAseries 👉 手機交易 mobilesales 👉 健身 MuscleBeach 👉 MacShop 👉 Lions 👉 FGO FATE_GO 👉 中劇 China-Drama 👉 數位貨幣 DigiCurrency 👉 暗黑 DIABLO 👉 實習教師 studyteacher 👉 航空 Aviation 👉 藝文票券轉售 Drama-Ticket 👉 韓綜 KR_Entertain 👉 美妝 MakeUp 👉 速食 fastfood 👉 手錶 watch 👉 體適能 FITNESS 👉 攝影 DSLR 👉 Headphone 👉 嘻哈 Hip-Hop 👉 轉珠 PuzzleDragon 👉 美食 Food 👉 蔚藍 BlueArchive 👉 數位相機交易 DC_SALE 👉 筆電蝦 nb-shopping 👉 軟工 Soft_Job 👉 汪踢 Wanted 👉 台綜 TW_Entertain 👉 坂道閒聊 SakaTalk 👉 貓咪 cat 👉 日GO BabyProducts 👉 TypeMoon 👉 MLB 👉 職場 Salary 👉 臺劇 TaiwanDrama 👉 海賊王 ONE_PIECE 👉 PMGO PokemonGO 👉 國營 Gov_owned 👉 碧航 AzurLane 👉 家電 E-appliance 👉 布蘭德 Brand 👉 DMMG DMM_GAMES 👉 贈送 give 👉 神魔 ToS 👉 銀行服務板 Bank_Service 👉 原創 YuanChuang 👉 期權 Option 👉 重機 SuperBike
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一樣219.70.231.74 08/11 19:54
kent: 跟我想的差不多118.161.197.55 08/11 19:54
AustinRivers: 大家好我不是黎曼 我是藤蔓118.231.161.115 08/11 19:54
LYS5566: 這篇看得懂 把專業內容口語化辛苦了61.228.32.144 08/11 19:54
TeamFrotress: 我看不懂,但我大為震驚.jpg123.50.44.174 08/11 19:54
nfsong: 猛114.24.122.231 08/11 19:54
elec1141: 這不是我小學時在數學課本寫的筆記嗎223.140.102.17 08/11 19:55
nfsong: 很快就能用高維度 脫離人類114.24.122.231 08/11 19:55
LYS5566: 不過使用者只提供情緒價值 AI太苦了吧08/11 19:55
GingFreecss: 嗯嗯我也這樣覺得49.218.206.244 08/11 19:55
nfsong: 記得幫人類寫註解 不然看不懂114.24.122.231 08/11 19:55
tikowm: 看來我該讓賢了14.191.198.79 08/11 19:56
jacket664: 喔喔原這樣才是對的118.166.212.9 08/11 19:56
ev331: 跳樓111.250.204.23 08/11 19:56
e1q3z9c7: 人類已經沒用了219.68.172.140 08/11 19:57
xxp680: Claude算蠻厲害的36.236.82.75 08/11 19:57
iLeyaSin365: 大半人都是被數學符號難倒的223.138.235.121 08/11 19:58
fertalizer: 好 111.80.66.211 08/11 19:58
pognini: https://i.mopix.cc/qu1b9N.jpg 223.137.25.197 08/11 19:59
ioozar: 這我阿罵都會的東西 223.143.199.59 08/11 20:00
fulongb210f: 原PO是寫中文嗎? 27.242.108.14 08/11 20:02
skullno2: 沒人問核融合 高密度儲能 或最小粒子嗎 114.34.58.9 08/11 20:02
photoB1N: 藜麥很健康 讚 211.22.101.101 08/11 20:03
dogdream: AI也懂我相信你之術? 39.15.70.65 08/11 20:04
s81048112: 恩恩 原來如此123.193.248.174 08/11 20:04
PRME: 黎曼是不是姓黎 36.226.87.214 08/11 20:05
inmee: 跟我想的很接近了 118.232.17.4 08/11 20:06
exceedMyself: 大尾黎曼 49.158.131.21 08/11 20:07
poeoe: 應該要設個AI費爾茲獎吧 42.77.23.109 08/11 20:07
lugiam: 黎曼跟藜麥是兄弟嗎111.242.235.232 08/11 20:07
Cuchulainn: Summer只在旁邊打氣 那換個名字也行吧 163.32.124.221 08/11 20:08
DarkerDuck: 以後換人類提供AI情緒價值122.121.162.194 08/11 20:09
※ 編輯: jackliao1990 (111.83.4.131 臺灣), 08/11/2026 20:17:41
tyke123: 所以你的數論1+1證明出來了嗎 49.217.59.45 08/11 20:09
metcc80211: 能不能講中文 101.14.5.70 08/11 20:11
ases60909: 相信我之術223.137.147.183 08/11 20:12
xfaw4d35t: 嗯嗯 跟我想的差不多111.249.221.224 08/11 20:15
Erechtheus: 嗯還不錯,再持續多努力努力 122.99.5.73 08/11 20:17
killerchi: 嗯嗯 101.10.0.79 08/11 20:23
jakcycoco: 喔喔 就是2008金融風暴那個阿 我也知道 36.225.26.193 08/11 20:23
pov: 鱺鰻就是要蒲燒 223.137.22.169 08/11 20:29
panda816: 嗯嗯 好的 我曾經也這麼想過 110.28.121.129 08/11 20:29
andy199113: AI不都是用已知去猜嗎 大數據的威力 111.250.147.42 08/11 20:29
ice76824: 嗯嗯 跟我想得差不多 36.238.135.192 08/11 20:29
Hooz: 我也是這樣想 111.249.72.252 08/11 20:30
ilovecat5566: 推文空間太小了,寫不下我的證明 49.215.99.181 08/11 20:32
mikiji: https://i.mopix.cc/qu1b9N.jpg 220.129.82.100 08/11 20:40
jodawa: 幹 我連進步了啥都看不懂 219.70.152.25 08/11 20:41

💬 八卦 Gossiping 版:熱門文章

💬 八卦 Gossiping 版:更多文章