OpenAI宣布AI獨立完成三項科學突破，ETH被證偽

nashnova research

今天发布阅读约 4 分钟

OpenAI宣布其AI模型獨立完成數學、計算機科學與理論物理三項重大發現，其中證偽了支撐算法複雜度理論近30年的「指數時間假設」（ETH），若經最終確認，數百篇論文的理論基礎將面臨系統性重審。

ETH被證偽，到底代表甚麼？

ETH（指數時間假設）認為3-SAT等NP完全問題（一類被公認為「極難」的計算問題）不可能在亞指數時間內求解，近30年來數百篇論文以此為基礎劃定算法速度的「天花板」。

OpenAI公開了一份67頁手稿，標題直接寫明：《指數時間假設是錯的》。這意味著→ 如果驗證通過，過去近30年用ETH當「地基」搭建的算法理論大廈，地基本身被抽走了。

簡單來說＝以前大家默認「這類問題不可能算得快」，現在AI說「能」，而且寫出了證明。如果證明成立，整個領域要回頭重新檢查哪些結論還站得住。

ETH的兩位提出者因帕利亞佐和帕圖里，以及MIT複雜度理論學者瑞安·威廉姆斯，已公開參與驗證工作——提出假設的人親自來審，規格極高。

諾貝爾物理學獎得主戴維·格羅斯評價：「對於不了解的人來說，ETH被證偽非常令人驚訝，影響太深遠了。」

OpenAI理論計算機科學家比貝克稱，這是自己關注該領域20年來見過的最大驚喜。這反映出即便是領域內資深研究者，也未預料到ETH會以這種方式被推翻。

AI將局部平滑猜想（一個關於波動方程解的光滑程度的數學命題，由索格1991年提出）推廣至所有空間維度（n≥2），採用了一種新的輔助偏微分方程方法。

這意味著→ 局部平滑猜想作為「母猜想」，可以推導出掛谷猜想與斯坦限制猜想的成立——前者困擾數學界逾百年，亦是菲爾茲獎得主王虹的主攻方向。

從自然語言證明到完成Lean形式化驗證（用計算機逐步核查證明的每一步邏輯），AI僅用一天。

AI沿構造性量子場論中巴拉班的方法，給出了四維量子色動力學（QCD）與純楊-米爾斯理論的嚴格數學存在性證明。簡單來說＝ AI用嚴格的數學語言證明了「這套物理理論在數學上是自洽的」。

驗證團隊由諾獎得主格羅斯領銜，成員包括道格拉斯、賈菲、克列巴諾夫、涅克拉索夫——都是該領域頂尖學者。

OpenAI明確指出：正質量間隙問題尚未解決，完整的千禧年大獎難題答案仍未達到。這反映出OpenAI在定位成果邊界時保持了克制。

OpenAI將三份手稿定位為「原始科研數據」，明確不為AI產出的發現尋求學術署名，並向西蒙斯基金會出資500萬美元。

西蒙斯基金會聯合OpenAI、Anthropic共投入1500萬美元資金與算力資源，資助獨立審查與研討。這意味著→ 驗證工作不是OpenAI自說自話，而是引入了外部獨立資金和學術力量。

目前OpenAI數學倉庫已收錄721篇手稿，歸為373個結果族，約42%的頂層結論已完成Lean形式化驗證。

如果ETH證偽經獨立專家組最終確認，將直接動搖數百篇依賴該假設的論文，算法複雜度理論的基礎框架面臨系統性重審。

三項發現橫跨數學、計算機科學、理論物理，且均已啟動外部專家驗證——這不是單一領域的孤立事件，而是AI作為「科研工具」的一次集中壓力測試。

簡單來說＝關鍵不只是「AI做出了發現」，而是「這些發現能否經得住人類頂尖專家的逐行審查」。這才是檢驗AI科研範式是否可持續的真正節點。

市场有风险，内容仅供研究参考，不构成投资建议。