This article from 2014 has nothing to do with neural nets, but if you replaced "SAT-solving algorithms" and "Complexity theorists" with "LLMs" and "linguists" it would read as entirely current. Maybe tech discourse always follows the same grooves. https://cacm.acm.org/opinion/boolean-satisfiability/
Comments