17 ms·
That is not what people typically mean by "GOFAI," which is a term more commonly understood to refer to classical symbolic AI as practiced by the MIT AI lab sta
by electroly 3y ago
That is not what people typically mean by "GOFAI," which is a term more commonly understood to refer to classical symbolic AI as practiced by the MIT AI lab starting in the late 60s. From the title I thought they were claiming that the OLD old fashioned AI was still viable--they are not. They're still talking about trained neural network models; they're distinguishing between foundational models and single-task models.
- randcraw 3y agoThis. Symbolic AI (AKA GOFAI) died about 1985. But task-oriented AI will never die, because the need for intelligent agents with cutting-edge experise in niche skill areas costs too much to embed all the available info on Earth into every foundational AI model, much less, keep it up-to-date. As the old saw says, the only perfect model of the universe is the universe itself.
- cjauvin 3y agoIt didn't die per se I would say, it mainly got subsumed into more general programming and problem solving patterns (search, heuristics, A*, that sort of thing). What probably "died" is the dream that those would be sufficient to achieve general intelligence.
- PartiallyTyped 3y ago"Symbolic" AI is very much used wherever you have theorem provers e.g. z3, no?
- tensor 3y agoYes, and closely related are various forms of constraint solvers, things that LLMS are still fantastically poor at.
- PartiallyTyped 3y agoSMT Solvers are used extensively in certain parts of the industry, especially when working in security-mindful fields.
- horsh1 3y agoNothing existing only before 1985, that is, before the invention of the open source, was alive in the first place. The code for the classic programs is nowhere to be found. And if found, it is written in some interlisp dead language.
- deleted 3y ago[deleted]
- 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 :(
- tensor 3y agoGood old linear classifiers still solve many tasks close to optimally. Probabilistic AI is not just neural networks.