Copy link
Share
Print
Font size
URL copied.
Font size
6128
6128
6128
6128
AI生成圖像：研究者的手在黑板上書寫公式 / TokenPost.ai
OpenAI提出的量子楊－米爾斯理論存在性證明獲審查團正面評價，但質量間隙的證明尚未完成，整項千禧年難題仍未解決。
OpenAI於10月26日首次公開相關證明，並表示模型已於9月完成研究。這份證明以Lean形式化，讓電腦可以檢查論證步驟。MTS報導，由諾貝爾獎得主領導的審查團支持這項證明。
楊－米爾斯問題要求同時證明理論在數學上的存在性與質量間隙。質量間隙指最低能量狀態與下一個能量狀態之間存在正值差距。這次獲評價的證明僅涉及存在性，尚未處理質量間隙。
工作小組先前將程式碼中的定義與問題設定，以及自然語言證明和程式碼是否一致，列為審查項目。MTS說明，若要接受獎金審查，還須證明質量間隙，並符合克雷數學研究所（Clay Mathematics Institute）的出版規定，以及公開發表後至少兩年的認可期。
克雷數學研究所於2000年公布七項千禧年難題，每題設有100萬美元獎金（約13億3700萬韓元）。目前僅有格里戈里·佩雷爾曼（Grigori Perelman）證明的龐加萊猜想獲得解決；佩雷爾曼拒絕了獎金。
<Copyright ⓒ TokenPost, unauthorized reproduction and redistribution prohibited>
Most Popular
Category article
News 
Coin Information 
About us 
Add as a preferred source on Google
Comment 0