Ask HN: Logical problems ChatGPT-4 can't solve? | Hacker News Reader