> This could probably slip up a human at first too
[...]
> breaks the illusion that there's real human-like logical reasoning happening
This does seem like the sort of error a human might make. Isn't the problem here that the model is using reasoning that is too human-like? I.e. error-prone pattern matching rather than formal logic?