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

OpenAI 的人工智慧模型已證明楊-米爾斯問題的一半，獲得由諾貝爾獎得主 David Gross 領銜的評審組支持。相關證明於 10 月 26 日首次公布，模型在 9 月完成該工作。評審組成員包括曾共同撰寫該問題官方表述的 Arthur Jaffe。該證明已用可逐行核驗的計算機語言 Lean 完成形式化。楊-米爾斯問題是 2000 年設立的七大千禧年獎難題之一，每項獎金 100 萬美元。迄今唯一被解決的一項由格里戈里·佩雷爾曼完成，但其本人拒絕領取獎金。要贏得該獎項，仍需證明質量間隙，並滿足克萊數學研究所關於發表及經過兩年認可期的規則。物理學家已能在經驗層面處理量子場論和量子楊-米爾斯理論，但缺少對這套理論為何成立的數學形式化。