is 3sat the canonical hard problem in CS? yes.
am I doing a PhD on using 3sat solvers for things? also yes.
It's neoliberalism in that they're implicitly assuming the only two options are "corporations keep the profits from automation" or "we mandate that corporations be inefficient so people can keep working for wages"
Again, if the only solutions you can think of take the form “make more work people can do at corporations” (as opposed to, I dunno, redistributing the benefits of automation to everyone) then you’re still playing within neoliberalism’s rules.