They may be better than humans at reasoning but they are substantially worse than the first generation logic programs from the 1950s.
They may be better than humans at reasoning but they are substantially worse than the first generation logic programs from the 1950s.
These types of comments help demonstrate first-hand how human reasoning stacks up against what an LLM would say in this situation.