
AI 可能剛剛挑戰了電腦科學中最根本的假設之一,但更重要的故事並非 ETH。 10 月 26 日,OpenAI 宣布其內部 AI 模型提出了一項聲稱對指數時間假設(ETH)的反駁——ETH 是支撐數百項計算難度結果的基礎猜想。 主張內容:一種確定性、次指數時間演算法,可用於精確計算固定寬度布林公式中滿足賦值的數量。 若此主張正確,ETH 將被推翻,多個更強的猜想亦將隨之動搖。 但 P ≠ NP 仍懸而未決;理論上更快,並不必然代表實際上有用。 該證明已以 Lean 形式形式化,由 Russell Impagliazzo、Ramamohan Paturi 和麻省理工學院的 Ryan Williams 組織獨立審查。 他們的參與並非背書,獨立驗證仍至關重要。 我的觀點:我們可能正在見證三項突破,而非一項。 數學上:長期存在的計算複雜度屏障可能已被推翻。 科學上:AI 可能正從協助研究者轉向生成真正原創的知識。 制度上:科學界必須重新思考發現如何被驗證、理解、認可與重現。 其中第三項可能最具影響力。 數百年來,產生前沿級發現需要稀缺的人類專業知識與多年研究。 當 AI 能比人類更快生成可信的數學發現時,會發生什麼? 瓶頸將從「發現」轉向「驗證」、「詮釋」與「科學判斷」。 最終,AI 也可能加速這些過程。 真正的轉折點不在於 AI 解決了一個著名問題,而在於 AI 反覆擴展人類知識的邊界。 我們尚未完全達成此境地,但此發展值得嚴肅關注。 問題已不再僅是 AI 能有多聰明,而是我們的科學制度能否足夠快速地演進,以評估 AI 所發現的成果。 OpenAI 宣布: https://t.co/G0p0VEMjlC 研究論文與 Lean 形式化: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI


