这次我选了一个GEB中的简单谜题，原文是WJU谜题，ai很有可能学习过，所以我把他换成了ABC，最开始ai理解错误，后面我明确提示它无解时候，让ai尝试证明，第一次他犯了逻辑错误，值得注意的是，这个错误不是无厘头的错误反而很像人类也会犯下错误。我指出后，第二次ai就给出了正确的证明，这个谜题说难不难，说简单也并非“显然的”，ai或许是真的具备推理和自然语言处理的能力