ChainCatcher 訊息，OpenAI 近日宣布，其 AI 模型破解了計算機科學中沿用二十多年的猜測——指數時間假設（英文簡稱 ETH），並非以太坊。該假設關注特別難解的問題究竟有多難，並以布爾可滿足性問題 SAT 為例：給定一組邏輯條件，是否存在一種賦值能使所有條件同時成立？當問題規模增大時，已知最佳方法基本上只能逐一嘗試可能的答案，時間開銷隨規模呈指數增長。指數時間假設進一步斷言，這類問題本質上無法被大幅加速，不存在真正意義上的亞指數時間高效算法。該假設自 1999 年提出以來，一直是理論計算機科學的重要基石，大量論文基於它證明某些問題很難、某些算法已接近最優。若指數時間假設被推翻，意味著許多被認為幾乎不可能更快的問題，理論上或許存在更好的解法。OpenAI 声稱，其模型找到一個確定性算法，能在亞指數時間內精確統計 k-SAT 問題的解的數量，並使用 Lean 進行了形式化驗證。若該結果最終經得起專家審查，將直接動搖指數時間假設。
OpenAI 宣稱以新演算法駁斥指數時間假設
Chaincatcher分享
精華摘要
OpenAI 声稱已透過一種新的確定性演算法，推翻了指數時間假設，用於解決 k-SAT 問題。該模型經 Lean 驗證，可在次指數時間內解決這些問題，這可能顛覆計算複雜性理論。評估風險報酬比的交易者可能看到長期影響，而加密貨幣的價值投資往往依賴於此類基礎性變革。該演算法的實際應用仍有待測試。
來源:顯示原文
免責聲明：本頁面資訊可能來自第三方，不一定反映KuCoin的觀點或意見。本內容僅供一般參考之用，不構成任何形式的陳述或保證，也不應被解釋為財務或投資建議。 KuCoin 對任何錯誤或遺漏，或因使用該資訊而導致的任何結果不承擔任何責任。
虛擬資產投資可能存在風險。請您根據自身的財務狀況仔細評估產品的風險以及您的風險承受能力。如需了解更多信息，請參閱我們的使用條款和風險披露 。