> Whereas a human would immediately pick that up because they reason beyond x=5 and y=5.

[Citation needed]

I think that the computer made the absolutely standard human mistake, so that could be considered a plus.