Claude 自主發現可推翻指數時間假設的算法 Anthropic 內部的 Claude 研究模型在沒有人類指導的情況下，獨立發現了一種新算法，能比以往理論認為可能的速度更快解決 3-SAT 問題。 3-SAT 是判斷一組邏輯條件能否同時滿足的經典難題。長期以來，研究者相信這類問題很難大幅加速，這就是指數時間假設。 新算法如果成立，就意味著這個假設不成立。 這件事表明，人工智慧已能在理論電腦科學核心問題上自主提出重要算法並給出可驗證證明。如果結果經得起檢驗，將改變人們對部分計算問題難度的長期看法。 目前論文和證明已公開，供進一步驗證。整個過程顯示模型能獨立完成高水平理論發現，但最後整理仍需人來完善。