新聞 
幣種資訊 
關於我們 
OpenAI表示，內部AI模型提出了一種演算法，反證了計算機科學中的指數時間假說（ETH）。這個縮寫與以太幣（ETH）相同，但研究並未提出破解加密貨幣錢包簽章機制或取得私鑰的方法。
OpenAI於26日發布說明，表示內部AI模型於16日找到反證結果，並於17日使用Lean將數學證明形式化。Lean是一種用於以電腦檢查數學證明的工具。研究資料已公開，目前正由外部專家審查。先前報導曾介紹OpenAI公開指數時間假說反證結果及Lean形式化資料。
指數時間假說認為，隨著變數增加，解決特定邏輯問題所需的計算時間會急遽上升。代表性問題3-SAT，是要找出能同時滿足多個真假條件的解。研究核心在於，是否存在比逐一代入所有條件更根本、更快的解法。
OpenAI提出的演算法能以「準指數時間」處理與3-SAT相關的問題。這表示問題規模變大時，計算時間的增幅低於該假說所預設的程度。若論文主張成立，過去以指數時間假說為前提、說明特定問題計算複雜度下限的研究，就需要重新檢視這項前提。
OpenAI表示，運用這項假說的論文已有數百篇，涵蓋圖論、計算生物學、資料庫及計算幾何等領域。不過，反證結果不代表既有論文的所有結論都會失效；部分研究可能依據其他假設或證明。
反證指數時間假說與實際破解加密技術應有所區分。這項結果涉及3-SAT類問題的計算時間，沒有提出取得比特幣（BTC）或以太幣錢包私鑰、或破解其簽章機制的方法。「準指數時間」也不代表能立即快速解決實際規模的問題。
負責審查的麻省理工學院（MIT）教授萊恩·威廉斯（Ryan Williams）表示，若研究結果獲得確認，其他問題也可能出現更快的演算法。他先向OpenAI確認這項結果是否會影響既有加密系統，並表示目前看來系統仍安全。這是初步說明，並非獨立審查的最終結論。萊恩·威廉斯的公開發言
OpenAI表示，將理論進展應用於實際問題仍需更多研究。目前進行中的獨立審查，將檢視演算法與形式化證明是否符合論文主張。
留言 0