There already exist local-search based algorithms that can find solutions way faster than a SAT solver can... Or they get completely stuck unable to make any pr

There already exist local-search based algorithms that can find solutions way faster than a SAT solver can... Or they get completely stuck unable to make any progress. All an LLM does is guess the next token based on the previous tokens and its training weights. For it to give you a solution to a large SAT problem it'll have to spit out a million character long binary string. The likelyhood most of that string will be entirely hallucinated is very high. LLMs are not magic. Deep Learning is already used internally in some SAT solvers to heuristically pick in which direction the search should go.