OpenAI 模型或完成楊-米爾斯問題一半證明

据 MTS 發文，OpenAI 的人工智能模型已證明物理學領域一項百萬美元千禧年獎問題的一半，並由諾貝爾獎得主領銜的評審組予以支持。MTS 稱，該問題即楊-米爾斯問題。OpenAI 於 10 月 26 日首次公布相關證明，並表示其模型在 9 月完成了這項工作。評審組由諾貝爾獎得主 David Gross 擔任主席，成員包括曾共同撰寫該千禧年獎問題官方表述的 Arthur Jaffe。

相關證明已用可逐行核驗的計算機語言 Lean 完成形式化。楊-米爾斯問題是 2000 年設立的七大千禧年獎難題之一，每項獎金 100 萬美元；迄今唯一被解決的一項由格里戈里·佩雷爾曼完成，但其本人拒絕領取獎金。MTS 指出，要贏得該獎項，仍需證明質量間隙，並滿足克萊數學研究所關於發表及經過兩年認可期的規則。X 用戶 Theo Jaffee 表示，物理學家已能在經驗層面處理量子場論和量子楊-米爾斯理論，但一直缺少對這套理論為何成立的數學形式化。