[爆卦] 北大醫生用GPT-5.6解決22年Croureix猜想

看板Gossiping作者 (j)時間2周前 (2026/08/15 10:05), 2周前編輯推噓45(47226)
留言75則, 65人參與, 2周前最新討論串1/4 (看更多)
https://www.preprints.org/manuscript/202607.1919 https://aimath.org/pastworkshops/crouzeix.html 2004年法國數學家Michel Crouzeix 提出,矩陣經多項式作用後其範數相對數值域上函數 最大值的放大倍率上限為2 2017年Crouzeix團隊將一般上界降至1+√2 =2.414 但一直沒有完成從2.414到2的最後一步 金山木為北京大學地質系畢業 是北京協和醫學院4+4試點班學生 2024年他進入北京協和醫院臨床醫學博士後項目 目前兼任神經外科住院醫師 金山木因頭顱超音波研究而進入矩陣分析領域 金山木用GPT-5.6 Sol在ChatGPT Work中讓多個子智能體並行探索不同證明路線並反覆進 行對抗性檢查 運行16個小時後完成了對上限為2 的證明 證明的核心突破在於將解析函數的二次算子範數問題轉化為伴隨代數約束下的正實完備化 問題 首先用Delyon–Delyon雙層位勢理論與Herglotz核的性質構造一個單位正映射 再由Cayley變換導出矩陣值 Caratheodory函數 接著AI發現,若選擇單純譜的輔助矩陣 修正項會被限制在矩陣所產生的代數中 在矩陣特徵基底下修正項變成了純對角矩陣 接著進行精準採樣消除修正 前面的修正項對角結構巧妙地在採樣生成的二次型中被完全抵銷 殘留下來的關係式轉化為兩個加權 Gram 矩陣並做正定性比較 然後AI證明了一般性的質量m正實完備化定理 由於雙層位勢對應的質量參數恰好為m = 2 立刻得到||f(B)||<2 最後透過單純譜矩陣逼近與外凸域收斂至 W(A)的雙重極限完成對任意矩陣的完整證明 Alex Townsend和Alex Townsend以及Crouzeix本人隨後檢查了證明後認為手稿正確 此外另有人也在8 月4 日發布了對該猜想的獨立證明 他們參考GPT 用反證法設定:假設範數上限為大於2 對極值向量構造序列 利用縮緊算子與等距算子的性質控制住微擾能量 再用序列的一致有界性將能量級數進行求和並導出實部下界不等式 其左邊係數與右邊符號產生嚴重矛盾 有此引理就能得到其上限為2 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.184.184 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1786759513.A.147.html

08/15 10:06, 2周前 , 1F
台灣之光
08/15 10:06, 1F

08/15 10:06, 2周前 , 2F
我連題目都看不懂
08/15 10:06, 2F

08/15 10:07, 2周前 , 3F
以後就不是新聞了
08/15 10:07, 3F

08/15 10:08, 2周前 , 4F
跟金山找有關係嗎?
08/15 10:08, 4F

08/15 10:08, 2周前 , 5F
為啥地質系可以轉學醫學系啊?
08/15 10:08, 5F

08/15 10:08, 2周前 , 6F
是AI證明的 又不是他XDDDDDDDDDD
08/15 10:08, 6F

08/15 10:09, 2周前 , 7F
金山毒霸
08/15 10:09, 7F

08/15 10:10, 2周前 , 8F
轉行當吃飯一樣簡單 這位也是真天才吧
08/15 10:10, 8F

08/15 10:11, 2周前 , 9F
又是矩陣又多項式 這題是我也叫AI算
08/15 10:11, 9F

08/15 10:12, 2周前 , 10F
以後會比問問題了吧 AI猜想
08/15 10:12, 10F

08/15 10:12, 2周前 , 11F
沒台灣的晶片能成嗎?結論:台灣第一
08/15 10:12, 11F

08/15 10:12, 2周前 , 12F
醫學生解啥數學題目?
08/15 10:12, 12F

08/15 10:12, 2周前 , 13F
王虹也是北大地質系轉數學啊
08/15 10:12, 13F

08/15 10:13, 2周前 , 14F
北醫大又贏了
08/15 10:13, 14F

08/15 10:13, 2周前 , 15F
整篇字都看的懂 合起來是啥意思?
08/15 10:13, 15F

08/15 10:15, 2周前 , 16F
金山老街
08/15 10:15, 16F

08/15 10:15, 2周前 , 17F
Alex Townsend和Alex Townsend以及Crouze
08/15 10:15, 17F

08/15 10:16, 2周前 , 18F
ix本人 一共幾個人啦
08/15 10:16, 18F

08/15 10:20, 2周前 , 19F
他們中国不是說大模型已經遙遙領先美國了?
08/15 10:20, 19F

08/15 10:22, 2周前 , 20F
祖國果然厲害 灣灣都去吃屎吧
08/15 10:22, 20F

08/15 10:22, 2周前 , 21F
竟然不是用DeepSeek 他是美帝同路人吧
08/15 10:22, 21F

08/15 10:24, 2周前 , 22F
以後完全不靠 AI 的才是新聞
08/15 10:24, 22F

08/15 10:24, 2周前 , 23F
北京大學地質系-金山木 這名字也太純血了
08/15 10:24, 23F

08/15 10:32, 2周前 , 24F
還不是靠AI
08/15 10:32, 24F

08/15 10:32, 2周前 , 25F
對對對,沒錯沒錯
08/15 10:32, 25F

08/15 10:33, 2周前 , 26F
名字就很地質味
08/15 10:33, 26F

08/15 10:35, 2周前 , 27F
我們的貢獻呢?
08/15 10:35, 27F

08/15 10:44, 2周前 , 28F
為什麼他可以用ChatGPT 是不是翻牆
08/15 10:44, 28F

08/15 10:50, 2周前 , 29F
AI起飛的時代 進步會越來越快
08/15 10:50, 29F

08/15 10:54, 2周前 , 30F
以前沒人想花時間的暴力破解法,現
08/15 10:54, 30F

08/15 10:55, 2周前 , 31F
在給AI一下就能找出來了。
08/15 10:55, 31F

08/15 11:04, 2周前 , 32F
沒台灣的事啦,整天忙選舉就好
08/15 11:04, 32F

08/15 11:06, 2周前 , 33F
跟我想的差不多
08/15 11:06, 33F

08/15 11:11, 2周前 , 34F
金山毒霸
08/15 11:11, 34F

08/15 11:13, 2周前 , 35F
中國人不用中國模型喔 叛國
08/15 11:13, 35F

08/15 11:13, 2周前 , 36F
我幼稚園就知道了
08/15 11:13, 36F

08/15 11:18, 2周前 , 37F
跟我想的差不多,就是用AI
08/15 11:18, 37F

08/15 11:18, 2周前 , 38F
中國可以存取GPT?
08/15 11:18, 38F

08/15 11:18, 2周前 , 39F
喔喔喔,原來如此
08/15 11:18, 39F

08/15 11:20, 2周前 , 40F
AI才剛起步就有人整天喊泡沫
08/15 11:20, 40F

08/15 11:30, 2周前 , 41F
上次有個中國醫生說讀醫不用看原文書
08/15 11:30, 41F

08/15 11:31, 2周前 , 42F
支那人翻牆用GPT
08/15 11:31, 42F

08/15 11:31, 2周前 , 43F
為何不用八卦最認可的支那無敵模型
08/15 11:31, 43F

08/15 11:32, 2周前 , 44F
計算機算的不算唷~
08/15 11:32, 44F

08/15 11:35, 2周前 , 45F
ai 就是工具 叫ai證明跟教授叫學生做實
08/15 11:35, 45F

08/15 11:35, 2周前 , 46F
驗一樣
08/15 11:35, 46F

08/15 11:47, 2周前 , 47F
嗯嗯
08/15 11:47, 47F
※ 編輯: jackliao1990 (111.82.36.111 臺灣), 08/15/2026 11:59:20

08/15 12:05, 2周前 , 48F
北醫真不錯
08/15 12:05, 48F

08/15 12:15, 2周前 , 49F
金山鴨肉的猜想?
08/15 12:15, 49F

08/15 12:21, 2周前 , 50F
跟我想的差不多
08/15 12:21, 50F
※ 編輯: jackliao1990 (111.82.36.111 臺灣), 08/15/2026 13:00:29

08/15 13:03, 2周前 , 51F
“This version is not peer-reviewed.”
08/15 13:03, 51F

08/15 13:04, 2周前 , 52F
爆卦者可以主持江山萬里情惹......
08/15 13:04, 52F

08/15 13:07, 2周前 , 53F
這真的是中文嗎
08/15 13:07, 53F

08/15 13:07, 2周前 , 54F
跟我想的差不多
08/15 13:07, 54F

08/15 13:13, 2周前 , 55F
以前用電腦也解不開嗎
08/15 13:13, 55F

08/15 13:24, 2周前 , 56F
以後的定理跟理論會不會前面都是冠
08/15 13:24, 56F

08/15 13:24, 2周前 , 57F
上ai模型的名字
08/15 13:24, 57F

08/15 13:33, 2周前 , 58F
準漢奸 沒有用中國的AI
08/15 13:33, 58F

08/15 13:55, 2周前 , 59F
我就知道
08/15 13:55, 59F

08/15 14:11, 2周前 , 60F
我也是這麼想
08/15 14:11, 60F

08/15 15:13, 2周前 , 61F
跟我想的一樣
08/15 15:13, 61F

08/15 15:14, 2周前 , 62F
我也這麼覺得
08/15 15:14, 62F

08/15 15:26, 2周前 , 63F
我當初也這麼想,只是苦無證據
08/15 15:26, 63F
※ 編輯: jackliao1990 (111.82.36.111 臺灣), 08/15/2026 15:47:24

08/15 15:46, 2周前 , 64F
硬核的 台灣果不其然又在找笑點了....
08/15 15:46, 64F

08/15 16:23, 2周前 , 65F
看都看不懂要怎麼靠AI
08/15 16:23, 65F

08/15 16:23, 2周前 , 66F
AI就只是加大強弱差距而已
08/15 16:23, 66F

08/15 16:33, 2周前 , 67F
所以他們也是用GPT,不會去用DS...
08/15 16:33, 67F

08/15 16:58, 2周前 , 68F
跟我想的一樣+1
08/15 16:58, 68F

08/15 17:19, 2周前 , 69F
GPT 這乳華了
08/15 17:19, 69F

08/15 18:13, 2周前 , 70F
敲碗求翻譯!!
08/15 18:13, 70F

08/15 19:47, 2周前 , 71F
嗯嗯,跟我想得差不多
08/15 19:47, 71F

08/15 20:00, 2周前 , 72F
金山之光
08/15 20:00, 72F

08/15 20:01, 2周前 , 73F
不是DS...
08/15 20:01, 73F

08/15 20:48, 2周前 , 74F
嗯嗯略懂
08/15 20:48, 74F

08/15 23:38, 2周前 , 75F
中國之光~
08/15 23:38, 75F
文章代碼(AID): #1gVybP57 (Gossiping)
文章代碼(AID): #1gVybP57 (Gossiping)