https://openai.com/index/building-scientific-understanding-with-academic-commu nities/ https://x.com/danintheory/status/2114833689272311946 楊振寧和米爾斯的楊米爾斯方程統一了除了重力以外的宇宙三大基本力 是量子場論的基石 可用來算夸克和膠子怎麼互動 這套理論在實驗中準確度極高 然而它有個漏洞－傳遞宇宙最強作用力－強力的粒子-膠子 在楊米爾斯方程式中膠子是沒有質量的 然而實驗中當膠子和夸克綁在一起變成質子或中子時卻帶有質量 為此克雷數學研究所將楊-米爾斯存在性與質量間隙納入千禧年七大難題－"證明對於任意 緊緻的單李群 ，在四維空間中存在非平凡量子楊-米爾斯理論且該理論具有嚴格大於零的 質量間隙 (請用嚴格數學證明為什麼由無質量粒子組成的強交互作用會產生有質量的物質 ？)" 懸賞一百萬美元 過去最接近成功證明的人是波蘭數學物理學家Tadeusz Balaban 他於1980年代發起宏大研究計畫 目標證明四維時空下楊-米爾斯理論存在 他將原本連續且難處理的四維時空離散化為微小格點以繞開連續場論的發散與重整化難點 他還引入區塊平均方法 從極微觀格點出發 逐步把短距離高能漲落積分掉並過渡到粗糙的宏觀網格 結果他證明了四維格點楊-米爾斯理論的紫外穩定性與小場區域的可重整化性 OpenAI今天宣布他們的AI在Balaban的基礎上 於9/9證明了四維楊米爾斯量子場論(描述膠子自相互作用)存在 9/18證明四維量子色動力學(描述夸克和膠子等粒子間的強核力相互作用)存在 10/16完成形式化證明 完善了粒子物理標準模型 也就是完成了包含費米子和標準規範場的最簡單大一統理論 由於該成果的內容極為龐大且複雜 OpenAI決定暫不釋出原始AI論文 為了讀懂AI的證明並檢驗其正確性 OpenAI請來大衛格羅斯(因強核力漸近自由研究而獲得2004諾貝爾物理獎) 他將領導由邁克爾道格拉斯、亞瑟賈菲(將楊米爾斯方程納入千禧年難題)、伊戈爾 克列巴諾夫(率先將規範-弦對偶性用於夸克禁閉問題，現在領導西蒙斯禁閉與量子色動力 學 弦合作研究小組)和尼基塔涅克拉索夫(因在楊-米爾斯理論推廣的精確方法方面做出了開 創性工作而獲得2023年丹尼海涅數學物理獎)組成的團隊來完成這工作 他們計畫在完全理解並自行撰寫出人類可讀的論文版本後才會正式對外公開相關報告 雖然OpenAI還沒證明千禧年難題的最難部份－質量間隙 但證明存在性對物理學來說卻是最重要的

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.138.141.74 (臺灣) ※ 文章網址: https://webptt.com/m.aspx?n=bbs/Gossiping/M.1793102625.A.C30.html ※ 編輯: jackliao1990 (223.138.141.74 臺灣), 10/27/2026 20:19:24