OpenAI（@OpenAI）總裁 Greg Brockman（@gdb）10 月 26 日同一天公布 3 項由 AI 產生的研究結果。電腦科學推翻指數時間… · @pirrer · TwKit

@pirrer

OpenAI（@OpenAI）總裁 Greg Brockman（@gdb）10 月 26 日同一天公布 3 項由 AI 產生的研究結果。電腦科學推翻指數時間假說（ETH，跟以太坊無關），數學證明局部平滑、由此推出所有維度的掛谷猜想成立，物理證明四維的純楊米爾斯理論與量子色動力學在數學上存在。三項都還沒完成外部專家的正式審查。 ETH 是 1999 年英帕利亞佐和帕圖里提出的假設，說碰上最難的 3-SAT，再聰明的方法也逃不掉指數成長。OpenAI 說數百篇論文拿它當前提。新論文給了一個次指數的計數演算法，核心證明用 Lean 證明檢查軟體驗過。這不等於回答了 P 對 NP，也還不是更快的實用程式。 受邀帶頭檢查的，正是提出這個假設的 2 個人，加上麻省理工學院的萊恩・威廉斯（Ryan Williams，@rrwilliams）。他在貼文裡用的詞是 claimed refutation，也就是「宣稱的反駁」，刻意不替結果背書。 楊米爾斯是楊振寧與米爾斯 1954 年寫下的理論，證明它存在並有質量間隙，是千禧年大獎難題之一。OpenAI 只宣稱證明了存在，沒有宣稱質量間隙，所以大獎那題只處理了存在性，沒有解決完整題目。物理的 AI 材料目前沒有公開。3 項結果用了 3 種公開方式，數學直接上網，電腦科學請提出者檢查，物理交給科學家自己寫論文。

曝光 214 · 评论 0 · 点赞 0 · 书签 0