4 ms·
So reasoning didn’t exist before SAT solvers?
by canjobear 4y ago
So reasoning didn’t exist before SAT solvers?
- fallingmeat 4y agosorry, that wasn't my point. I just meant, there are tools for that job. LLMs don't seem to be the most appropriate tool. Thanks for helping me to clarify