So the OpenAI bound is kind of hellish in that it’s subexponential but doesn’t survive many poly time reductions? That means we can’t leverage that algorithm for many npc problems because the reduction would make the solution exponential, even if cnf itself isn’t.
Yeesh that sucks
Sucks because if the idea is productive we don’t get to leverage all of the reductions work that people did in the past, seems like reality is more fragile than that