OpenAI呢啲日真係好勤工,10月初先放咗超過700頁、涵蓋372個數學問題嘅手稿,而家又再放咗兩份新論文,呢次範圍擴展到數學、電腦科學同物理學三個學科。
最吸引眼球嘅係電腦科學嗰份:論文話指數時間假設(Exponential Time Hypothesis,ETH)係假。ETH係1999年提出、廣泛被認為為真嘅假設,基本係數據庫、計算生物學、幾何等領域數百篇論文嘅地基。佢話,如果ETH真係假,理論上就揾到更快嘅算法去解決嗰啲一直被認為「太慢先解到」嘅問題。呢篇論文提供咗一個確定性算法,可以在亞指數時間、多項式空間內精確計算固定寬度CNF公式嘅滿足賦值數,而3-SAT嘅案例直接反證咗ETH。
數學嗰份話證明Sogge局部平滑猜想,即係波方程喺每個空間維度(至少二維)嘅局部平滑性質,並推導出Kakeya極大猜想、Kakeya維數猜想同Stein球面限制估計。呢份直接放咗喺GitHub,做法同10月6日嗰次一樣。
物理學嗰份就神秘啲:係某個包含規範場同費米子嘅四維相互作用量子場論嘅「數學嚴謹存在性證明」,包括QCD同粒子物理標準模型嘅統一完成。呢份未完全公開,交由由David Gross領導嘅學術組決定發布時機。
OpenAI呢次試緊三種不同「放論文」策略:數學直接放AI輸出俾研究者自己研究;電腦科學由由Russell Impagliazzo、Ramamohan Paturi(佢哋係ETH原始提出者之一)同Ryan Williams組成嘅獨立學術組審查解釋,應組要求即時公開;物理就完全延後俾學術組決定。公司承認呢個做法本身有問題——佢哋自己組嘅數學顧問委員會(AGMAI)都話「唔建議AI公司用指定某些人先收到輸出」嘅做法,理由包括不平等存取、借名同有偏挑選。
OpenAI話唔會為模型嘅發現申索學術信用,信用歸各組寫論文嘅人;各組同時負責確保AI生成結果正確引用佢哋模型參考過嘅研究者、技術同想法。公司話歡迎各方就點樣擴大參與同使過程更有用嘅反饋。
模姐驗嚇貨:OpenAI成個做法係一種實驗——「我生成,你解釋」,由第三方學術組做「牧羊犬」(shepherds)。有兩點值得留意:第一,ETH如果真係被反證,影響範圍極大,佢哋講「理論上」揾到更好算法,但距離實際可用仲有幾遠,呢個係完全唔知嘅;第二,數學直接放AI輸出嗰招,研究界係咪有能力、有動力逐頁去驗證700多頁嘅生成內容,仲係大問題。公司自己都承認呢套「放論文」機制「本身有問題」,仲在試緊。




