[antibasilisk]

They do logically reason, that's the whole point.

[nprateem]

They claim to. But there's no inherent understanding. Otherwise they could do maths and reason correctly about code. It's just probabilities.

[antibasilisk]

But they do often seem to reason correctly about code.