OpenAI 日前宣佈，其 AI 模型破解了計算機科學中沿用二十多年的猜想指數時間假設，英文簡稱 ETH，並非以太坊。
該假設關注特別難算的問題到底有多難，並以布爾可滿足性問題 SAT 爲例：給定一組邏輯條件，是否存在一種賦值使所有條件同時成立。
問題規模變大時，已知最好辦法基本只能逐個嘗試可能答案，時間開銷隨規模呈指數增長。
若指數時間假設被推翻，意味着許多被認爲幾乎不可能更快的問題，理論上或許存在更好解法。
若該結果最終經得起專家審查，將直接動搖指數時間假設。
就“OpenAI 日前宣佈”這項披露，我更關注原文提出的條件能否驗證，而不是隻接受看多或看空的結論。 這裏記錄的是某個主體的解釋與判斷，不能把觀點當作已經發生的政策變化或未來結果。
後續逐項對照原文的觀察條件和實際數據；若條件沒有兌現，或者走勢與假設相反，這套解釋就要重新評估。你認同原文的條件，還是有更能解釋走勢的反證？
$ETH
#ETH
該假設關注特別難算的問題到底有多難，並以布爾可滿足性問題 SAT 爲例：給定一組邏輯條件，是否存在一種賦值使所有條件同時成立。
問題規模變大時，已知最好辦法基本只能逐個嘗試可能答案，時間開銷隨規模呈指數增長。
若指數時間假設被推翻，意味着許多被認爲幾乎不可能更快的問題，理論上或許存在更好解法。
若該結果最終經得起專家審查，將直接動搖指數時間假設。
就“OpenAI 日前宣佈”這項披露，我更關注原文提出的條件能否驗證，而不是隻接受看多或看空的結論。 這裏記錄的是某個主體的解釋與判斷，不能把觀點當作已經發生的政策變化或未來結果。
後續逐項對照原文的觀察條件和實際數據；若條件沒有兌現，或者走勢與假設相反，這套解釋就要重新評估。你認同原文的條件，還是有更能解釋走勢的反證？
$ETH
#ETH