Re: [閒聊] Abby530424 你有沒有看過哥德爾不完備定理
: → 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能做到在推理、管理政府這些事情上做到比人強
好像就真的不需要管到底完不完美
唉 難道真理真的不存在嗎
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.16.175 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Marginalman/M.1669273002.A.000.html
→
11/24 15:00,
3年前
, 1F
11/24 15:00, 1F
→
11/24 15:00,
3年前
, 2F
11/24 15:00, 2F
→
11/24 15:01,
3年前
, 3F
11/24 15:01, 3F
→
11/24 15:01,
3年前
, 4F
11/24 15:01, 4F
→
11/24 15:05,
3年前
, 5F
11/24 15:05, 5F
→
11/24 15:07,
3年前
, 6F
11/24 15:07, 6F
→
11/24 15:07,
3年前
, 7F
11/24 15:07, 7F
→
11/24 15:11,
3年前
, 8F
11/24 15:11, 8F
→
11/24 15:12,
3年前
, 9F
11/24 15:12, 9F
→
11/24 15:13,
3年前
, 10F
11/24 15:13, 10F
→
11/24 15:22,
3年前
, 11F
11/24 15:22, 11F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 5 之 5 篇)：