Still pretty cool though.
Still pretty cool though.
Any computer program trying to solve NP-complete problems is in the realm of what I call "1980s AI". Traveling salesman, knapsack, automated reasoning, verification, binary decision diagrams, etc. etc.
Its "AI", but its not machine learning or LLMs or whatever kids these days do with Stable Diffusion.
I guess in theory machine learning could take a swing at the problem. And sure, some professor out there is probably trying to mix the fields and find new solutions or something. But the bulk of the work, and problem-solving, is BDDs for a reason.
Or 3SAT-solvers, or... CSP solvers... etc. etc. Lots and lots of highly successful algorithms here. There's obviously open-questions for how to improve a CSP solver (faster, less RAM, more accurate estimations) and I've seen machine learning techniques applied before.
But the bulk of the methodology remains in whatever solver model you're going for. Even today.
Are you surprised that ChatGPT can write Python?