距離 OpenAI 大規模發佈數百份手稿,聲稱其中包含長期以來的數學問題解決方案,已經不到一個月,OpenAI 再次帶來三項在數學、計算機科學和物理學上的「重大」發現。這次的不同之處在於,OpenAI 選擇了外部專家,稱之為「指導者」,來引導計算機科學和物理學的結果,而在數學問題上,則表示他們建議將 AI 的輸出發佈出來,讓研究人員自行研究解釋。
OpenAI 今日在 GitHub 上新增的結果包括:
對歐幾里得波動方程的局部平滑。該證明使用輔助偏微分方程來建立 Sogge 對於每個至少兩個空間維度的波的局部平滑。它還得出了 Kakeya 最大和維度猜想以及 Stein 在猜想範圍內的球面限制估計。我們直接發佈模型輸出,就像我們在 10 月 6 日的發佈中所做的那樣。
指數時間假設是錯誤的。該論文提供了一個確定性演算法,能夠在次指數時間和多項式空間內準確計算固定寬度 CNF 公式的滿足分配。3-SAT 的情況反駁了指數時間假設。一個由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 領導的獨立計算機科學工作組將檢查並解釋這個證明。應該該小組的要求,我們立即公開這些材料,以便其他人也能檢查它們。該公司承認,這種方法可能會有自己的問題,而 OpenAI 組成的 AGMAI 數學顧問小組昨天剛剛表示,「我們建議 AI 公司不要採用」指定某些人優先獲得輸出的做法,因為這會引發不平等的訪問、借用聲譽和偏見選擇等問題。相反,他們建議未來 AI 實驗室應在學術儲存庫中發佈輸出,並提供 Lean 正式化的證明、問題選擇的資訊、資助從事理解結果的人的資金及其他資訊。
物理學的資訊尚未完全發佈,但是一個「數學上嚴謹的存在證明,證明某些包含規範場和費米子在四維中的相互作用量子場論的存在,包括量子色動力學(QCD)和粒子物理學標準模型的統一完成。」根據 OpenAI 的說法,「David Gross 將領導一個包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov 的小組來指導這項工作。」計算機科學的合作據說證明了廣泛被認為為真的指數時間假設(ETH)實際上是錯誤的。OpenAI 表示,結果的驗證將由一個包括 UC San Diego 的 Russell Impagliazzo 和 Ramamohan Paturi 的三位專家小組指導,他們是 1999 年最初提出該假設的小組成員,以及 MIT 教授 Ryan Williams。該小組決定今天在 GitHub 上發佈 AI 輸出報告和 Lean 證明。他們還向社區發佈了一封公開信,徵求對如何檢查該主張的意見,以及如何設立處理 AI 生成突破的規範:
我們歡迎對三個更廣泛問題的討論:
對於 AI 生成結果的早期訪問、利益衝突的披露以及未發佈材料用於後續研究的使用,應該有什麼期望?
如何認可新發現和檢查、修正、簡化、解釋和擴展這些發現的工作的貢獻?
隨著方法和研究方向的變化,我們如何支持學生和研究人員,同時保持質疑結果和發展新想法所需的理解和判斷?
數學突破的文件也有類似的說明,其中其模型「在每個維度上產生了局部平滑猜想的證明,因此也解決了 Kakeya 猜想和 Stein 的限制猜想在所有維度上的問題。」就在幾個月前,NYU 教授 Hong Wang 因解決三維的 Kakeya 猜想而獲得了國際數學聯盟頒發的著名菲爾茲獎。
