[爆卦] AI的千禧難題論文(物質99%質量來源)過審

作者jackliao1990 (j)

看板Gossiping

標題[爆卦] AI的千禧難題論文(物質99%質量來源)過審

時間Wed Nov 11 15:11:19 2026

https://github.com/yang-mills-group/OpenAI-YM-20261028 https://github.com/yang-mills-group/YM/blob/main/docs/assessment-1.pdf 物質由原子組成原子質量主要來自質子和中子其中只有1%跟希格斯粒子有關其餘主要來自宇宙最強作用力－強核力強核力透過膠子傳遞並將夸克黏在一起以組成質子或中子強核力由楊振寧和米爾斯提出的方程組所描述做為粒子標準模型基石的楊米爾斯方程能準確描述並統一除了重力以外的宇宙三大基本力然而該理論有個漏洞:在楊米爾斯方程中膠子是沒有質量的但是實驗中當膠子和夸克綁在一起變質子或中子時卻帶有質量(這正是99％物質質量的來源) 為此克雷研究所將楊-米爾斯存在性與質量間隙納入千禧年七大難題－"證明對於任意緊緻單李群，在四維空間中存在非平凡量子楊-米爾斯理論且該理論具有嚴格大於零的質量間隙 (請用數學嚴格證明為什麼由無質量粒子組成的強核力會產生質量？)" 懸賞一百萬美元過去最接近成功證明的是Tadeusz Balaban 他於1980年代發起宏大計畫目標證明四維時空下楊-米爾斯理論存在他將原本連續且難處理的四維時空離散化為微小格點以繞開連續場論的發散與重整化難點他還引入區塊平均方法從極微觀格點逐步把短距離高能漲落積分掉並過渡到粗糙的宏觀網格結果他證明了四維格點楊-米爾斯理論的紫外穩定性與小場區域的可重整化性 OpenAI在Balaban的基礎上於9/9證明了四維楊米爾斯量子場論(描述膠子自相互作用)存在 9/18證明四維量子色動力學(描述夸克和膠子等粒子間的強核力作用)存在 10/16完成形式化證明完成了包含費米子的最簡單大一統理論(手徵SU(5)規範場論) 過去OpenAI丟出數學成果的方式被數學家炮轟這次OpenAI決定在發表前先請德高望重的大衛格羅斯(因強核力漸近自由研究而獲得2004 諾貝爾物理獎，長年主持索爾維會議) 來審查證明由他來領導以邁克爾道格拉斯、亞瑟賈菲(將楊米爾斯方程納入千禧年難題)、伊戈爾克列巴諾夫(將規範-弦對偶性用於夸克禁閉，現領導西蒙斯量子色動力學和弦論研究小組) 和尼基塔涅克拉索夫等數學物理學家組成的審查小組今天審查小組確認OpenAI的證明正確並公布了OpenAI原始形式化代碼 “我們判斷這份提交證明了對於任何簡單緊緻規範群都能將四維威爾遜格點規範理論構造成滿足Wightman公理的相對論性量子場論，方法是取其尺度極限。首先在固定體積下將四維威爾遜格點規範理論相關函數構造成連續相關函數的尺度極限。接著用緊緻性證明可以沿著某子序列收斂至無限體積極限，但沒有證明這極限具唯一性和質量間隙存在。任何選定子序列極限都可分解成若干分量理論，也就是純相位；並已證明各分量理論都滿足Oste rwalder–Schrader 公理。接著透過OS重建定理(該定理也已在這份提交中得證)可定義出滿足Wightman公理的量子場論。這證明有格點理論來源、局域場、正規化應力張量、主要短距離定律及算符乘積展開(OPE )。這些特徵為該建構確實描述楊米爾理論提供了相當有力的證據。我們認為未證明大體積極限與真空的唯一性與無限體積極限和真實楊米爾斯真空是唯一的這一普遍預期並不矛盾。OpenAI的成果並未證明千禧年難題的質量間隙存在性。跨體積子序列唯一性及各分量理論間一致性也未解決。在本文採用的存在性標準下，我們不要求對真空態進行精確刻畫。我們獨立撰寫的Lean檢查用原提交中已證明的結果確認該建構符合下文所描述、由我們獨立制定的要求。我們使用OpenAI 的Astra協助理解所提供的 Lean程式碼但我們並不宣稱目前已完全理解這份證明。 OpenAI的研究建立在許多物理學家與數學家的先前成果之上。楊米爾斯小組將在後續版本中提供更完整的審查及成果歸屬說明。除了接收OpenAI提交的成果之外本小組與OpenAI目前唯一的聯繫是使用OpenAI的Astra模型協助分析。本研究小組目前與克雷研究所沒有任何關係。" P.S.Wightman公理是相對論性量子場論的數學基礎，它要求量子場論滿足正能量條件(表示能量動量譜落在未來光錐內)、相對論對稱性(要求量子場在龐加萊變換下具有正確協變性)、局部性(類空分離的場保持因果律) ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.168.195.33 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1794381082.A.054.html

推 SUMPO: 跟我想的一樣 114.24.174.202 11/11 15:12

推 f22313467: 和我想的差不多啊223.140.121.252 11/11 15:12

推 ferocious: 跟樓下想的一樣223.143.197.180 11/11 15:13

推 fucc: 跟黑熊說的一樣 42.77.100.53 11/11 15:13

推 madaofreak: 五樓想得才是最棒的220.138.123.195 11/11 15:14

※ 編輯: jackliao1990 (1.168.195.33 臺灣), 11/11/2026 15:26:34

推 miloisgood: 繼流體之後又一題？ 39.14.1.194 11/11 15:21

推 bye2007: AI太強了，數學家和物理學家先被打趴 223.143.243.82 11/11 15:21

推 homerunball: 暴力碾壓不講武德223.138.147.148 11/11 15:24

推 aza0290: 原來如此 114.44.42.148 11/11 15:25

推 takeda3234: AI感覺還是採取暴力硬解法 27.240.209.0 11/11 15:25

推 snow3804: 說中文好嗎223.143.243.177 11/11 15:26