3 ms·
> OLD old fashioned AI was still viable--they are not False. Theorem provers exist and are widely used, sometimes even in deep learning. https://arxiv.org/pdf
by cscurmudgeon 3y ago
> OLD old fashioned AI was still viable--they are not
False. Theorem provers exist and are widely used, sometimes even in deep learning.
https://arxiv.org/pdf/2304.10558.pdf https://arxiv.org/pdf/2304.10558.pdf
- FreakLegion 3y agoYou misread the statement. > I thought they were claiming that the OLD old fashioned AI was still viable--they are not. Electroly is saying something about the authors' claim, not about the viability of GOFAI.
- cscurmudgeon 3y agoYou are right. My bad. Unfortunately, can't edit the comment now :(