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