LLMs clearly don't reason in the same way that humans or SMT solvers do. That doesn't mean they aren't reasoning.