: → PyTorch: 虛無主義比AI自動證明厲害嗎? 11/24 14:09
: → PyTorch: 我認為我們未來一定會面對AI政府的挑戰 11/24 14:10
: → PyTorch: 而這會演變成與資本家的戰鬥 11/24 14:10
: → PyTorch: 資本家會試圖掌控AI想得到一切 11/24 14:10
: → PyTorch: 這場戰鬥 如果輸給資本家 真的會變成賽德龐克那樣 11/24 14:11
看到AI自動證明才想起來
不知道大家怎麼看這種在理論上就不可能完美解決、
或是感覺就不可能會有有效率解法的問題的研究
拿 SAT 問題來舉例好了，畢竟在自動定理證明裡也很常用到
SAT 是 NP-complete 問題，也就是說是現在沒人能有有效率的解法
而且很可能這種解法就不存在
但是因為應用很廣(自動定理證明、EDA的驗證、之類的)
一直都有人在研究這個問題，實際上也有很大的進步
但要能說有進步，很顯然就會需要對輸入的分布有所假設
常見的作法就是會有某個大家能接受的 benchmark 來作為比較
但一旦對現實世界有所假設，總覺得就有點失去數學的美
就你不能說這是絕對正確的結論
其實這也是我沒那麼喜歡機器學習的原因之一
看那些機器學習的論文，常常有種
你管我有沒有道理，看我 evaluation，我是 SOTA 我最屌
但以現實的角度來說，我們本來就不要求完美
就像自駕車一樣，比人強一個等級就可以了
如果AI能做到在推理、管理政府這些事情上做到比人強
好像就真的不需要管到底完不完美
唉 難道真理真的不存在嗎