OpenAI模型推翻30年電腦科學假設 否定「指數時間假設」
【有線新聞】美國人工智能公司OpenAI利用AI模型在電腦科學研究取得重大突破,推翻一項被廣泛視為成立的假設,有助尋找更強大演算法。
OpenAI公布多個震撼學術界的研究突破,當中最為矚目的是推翻電腦科學近30年來的重要假設「指數時間假設」。這項已被數百篇論文視為前提的假設指出,當某些邏輯問題的規模擴大,涉及更多變數,尋找解答的時間會更漫長,並呈指數級增長。但OpenAI模型構思的演算法說明,其實可在更短時間內解答問題。
最新成果有助探討「P是否等於NP」難題,亦即是如果一條問題的答案可以被容易驗證,是否等於這個答案也可容易找出來。以數獨遊戲作為簡單例子,如果直接獲得答案,只需檢視所有直行和橫列的數字是否均包含1至9,便可輕鬆核實答案是否正確;但如果自行找出答案則要花費時間。
隨著AI推翻「指數時間假設」,科學家長久以來認為不可能的「P等於NP」亦有可能成立,即是任何一條問題的答案如果能夠快速被驗證,就代表問題亦能夠快速被解決。
這將對電腦科學有深遠影響或者催生更強大演算法,衝擊加密系統,引起資訊安全疑慮,因為系統密碼已由易驗證、難破解,變成易驗證、易破解。假如P等於NP,很多看似遙不可及的問題均會其實存在輕而易舉的解答方法,我們對世界的認知將有翻天覆地的改變。
OpenAI表示當年提出「指數時間假設」的兩名學者帕圖里和因帕利亞佐,將負責審核AI的證明,深入理解他們最初的假設是如何被推翻。