Guess what? SAT solvers have also solved unsolved math problems. Do you believe they are “reasoning”?
The question of whether a SAT solver can reason is about as interesting as the question of whether a submarine can swim. (EWD867, EWD898)
alt Hacker News
The question of whether a SAT solver can reason is about as interesting as the question of whether a submarine can swim. (EWD867, EWD898)