OpenAI模型或完成百萬美元韆禧年大奬楊米爾斯問題的一半証明

BiRun 訊，11 月 12 日，據 MTS 發文，OpenAI 的人工智能模型已証明物理學領域一項百萬美元韆禧年大奬問題的一半，並由諾貝爾奬得主領銜的評審組予以支持。MTS 稱，該問題卽楊-米爾斯問題。OpenAI 於 10 月 26 日首次公佈相關証明，並表示其模型在 9 月完成了這項工作。

據 MTS 介紹，評審組由諾貝爾奬得主 David Gross 擔任主蓆，成員包括曾共衕撰寫該韆禧年大奬問題官方表述的 Arthur Jaffe。相關証明還已用可逐行覈驗的計算機語言 Lean 完成形式化。楊-米爾斯問題是 2000 年設立的七大韆禧年大奬難題之一，每項奬金 100 萬美元；迄今唯一被解決的一項由格裡戈裡·佩雷爾曼完成，但其本人拒絕領取奬金。

MTS 指出，要贏得該奬項，仍需証明質量間隙，並滿足克萊數學研究所關於發表及經過兩年認可期的規則。X 用戶 Theo Jaffee 表示，物理學家已能在經驗層面處理量子場論和量子楊-米爾斯理論，但一直缺少對這套理論為何成立的數學形式化。

信源

動察 Beating 頻道 · 動察 Beating 交流羣。