Planning with Pixels in (Almost) Real Time — mentioned by YeGoblynQueenne

Wed, 09 Apr 2025 10:34:51 GMT

>> This is exactly correct, LLMs did scale with huge data, symbolic AI did not. So why? Like the rock salad you're mixing up two disparate contexts here. Symbolic AI like SAT solvers and planners is not trying to learn from data and there's no context in which it has to "scale with huge data". Instead, what modern SAT solvers and planners do is even harder than "scaling with data" - which, after all, today means having imba hardware and using it well. SAT solving and planning can't do that: SAT is NP-complete and planning is PSPACE-complete so it really doesn't matter how much you "scale"…

Paper and discussion history. A mention is not an endorsement.

Planning with Pixels in (Almost) Real Time · HackerPapers discussions

Planning with Pixels in (Almost) Real Time — mentioned by YeGoblynQueenne