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

[jackliao1990 (j)]

https://www.preprints.org/manuscript/202607.1919

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變換導出矩陣值 Carath廩dory函數
接著AI發現，若選擇單純譜的輔助矩陣
修正項會被限制在矩陣所產生的代數中
在矩陣特徵基底下修正項變成了純對角矩陣
接著進行精準採樣消除修正
前面的修正項對角結構巧妙地在採樣生成的二次型中被完全抵銷
殘留下來的關係式轉化為兩個加權 Gram 矩陣並做正定性比較
然後AI證明了一般性的質量m正實完備化定理
由於雙層位勢對應的質量參數恰好為m = 2
立刻得到||f(B)||<2
最後透過單純譜矩陣逼近與外凸域收斂至 W(A)的雙重極限完成對任意矩陣的完整證明
Alex Townsend和Alex Townsend以及Crouzeix本人隨後檢查了證明後認為手稿正確
此外另有人也在8 月4 日發布了對該猜想的獨立證明
他們參考GPT
用反證法設定：假設範數上限為大於2
對極值向量構造序列
利用 Q是縮緊算子與V是等距算子的性質控制住微擾能量
再用E_n的一致有界性將能量級數進行求和並導出實部下界不等式
其左邊係數與右邊符號產生嚴重矛盾
有此lemma就能得到其上限為2


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.184.184 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1786759513.A.147.html
推 xzcb2008: 台灣之光
→ sagarain: 我連題目都看不懂
→ error405: 以後就不是新聞了
推 s0914714: 跟金山找有關係嗎?
推 cchh179: 為啥地質系可以轉學醫學系啊？
推 StylishTrade: 是AI證明的 又不是他XDDDDDDDDDD
推 takeda3234: 金山毒霸
→ takeda3234: 轉行當吃飯一樣簡單 這位也是真天才吧
推 LYS5566: 又是矩陣又多項式 這題是我也叫AI算
→ sagarain: 以後會比問問題了吧 AI猜想
→ shala: 沒台灣的晶片能成嗎？結論：台灣第一
→ JaegwonKim: 醫學生解啥數學題目？
推 isntland: 王虹也是北大地質系轉數學啊
推 lipstick: 北醫大又贏了
推 k7202001: 整篇字都看的懂 合起來是啥意思？
推 gn01693664: 金山老街
推 LYS5566: Alex Townsend和Alex Townsend以及Crouze
→ LYS5566: ix本人 一共幾個人啦
推 pooznn: 他們中国不是說大模型已經遙遙領先美國了?
推 suckmydick: 祖國果然厲害 灣灣都去吃屎吧
推 andy6805: 竟然不是用DeepSeek 他是美帝同路人吧
→ lingering: 以後完全不靠 AI 的才是新聞
推 ihfreud: 北京大學地質系-金山木 這名字也太純血了
→ a8785007: 還不是靠AI
推 smallkop: 對對對，沒錯沒錯
推 somanyee: 名字就很地質味
推 AoWsL: 我們的貢獻呢？
推 ttyui: 為什麼他可以用ChatGPT 是不是翻牆
推 poeoe: AI起飛的時代 進步會越來越快
推 taikouhncheu: 以前沒人想花時間的暴力破解法，現
→ taikouhncheu: 在給AI一下就能找出來了。
→ enthpzd: 沒台灣的事啦，整天忙選舉就好
推 asd15723: 跟我想的差不多
推 notime: 金山毒霸
→ WWIII: 中國人不用中國模型喔 叛國
→ acs81046: 我幼稚園就知道了
推 ljuber: 跟我想的差不多，就是用AI
噓 pig2014: 中國可以存取GPT？
推 xaxa0101: 喔喔喔，原來如此
推 ChungLi5566: AI才剛起步就有人整天喊泡沫
→ oopsskimo: 上次有個中國醫生說讀醫不用看原文書
推 l42857: 支那人翻牆用GPT
→ l42857: 為何不用八卦最認可的支那無敵模型
推 jeanpaul: 計算機算的不算唷～
噓 finhisky: ai 就是工具 叫ai證明跟教授叫學生做實
→ finhisky: 驗一樣
推 bassmaster: 嗯嗯
※ 編輯: jackliao1990 (111.82.36.111 臺灣), 08/15/2026 11:59:20
推 chrisjohn214: 北醫真不錯
推 container: 金山鴨肉的猜想？
→ ClownT: 跟我想的差不多
※ 編輯: jackliao1990 (111.82.36.111 臺灣), 08/15/2026 13:00:29
推 aarzbrv: “This version is not peer-reviewed.”
→ aarzbrv: 爆卦者可以主持江山萬里情惹......
推 wadeedaw: 這真的是中文嗎
推 AbianMa19: 跟我想的差不多
推 f22313467: 以前用電腦也解不開嗎
推 LabaEllis: 以後的定理跟理論會不會前面都是冠
→ LabaEllis: 上ai模型的名字
推 neil22: 準漢奸 沒有用中國的AI
推 daye87: 我就知道
推 Hsinxyzzyx: 我也是這麼想
→ TomChu: 跟我想的一樣
推 GhostDancer: 我也這麼覺得
推 cphe: 我當初也這麼想，只是苦無證據