: → 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能做到在推理、管理政府这些事情上做到比人强
好像就真的不需要管到底完不完美
唉 难道真理真的不存在吗