| >> Inefficient is a whole lot better than can't even play the game, the story of GOFAI for the last few decades. See e.g. my link above where GOFAI plays the game (Atari) very well indeed. Also see Watson winning Jeopardy (a hybrid system, but mainly GOFAI - using frames and Prolog for knowledge extraction, encoding and retrieval). And Deep Blue beating Kasparov. And MCTS still the SOTA search algo in Go etc. And EURISCO playing Traveller as above. And Pluribus playing Poker with expert game-playing knowledge. And the recent neuro-symbolic DeepMind thingy that solves geometry problems from the maths olympiad. etc. etc. [Gonna stop editing and adding more as they come to my mind here.] And that's just playing games. As I say in my comment above planning and scheduling, SAT, constraints, verification, theorem proving- those are still dominated by classical systems and neural nets suck at them. Ask Yan LeCun: "Machine learning sucks". He means it sucks in all the things that classical AI does best and he means he wants to do them with neural nets, and of course he'll fail. |
It's often forgotten that Rich Sutton said the two things which work are learning (the AlphaGo/Leela Zero policy network) and search (MCTS). (I think the most interesting research in ML is around the circumstances in which large models wind up performing implicit search.)