Almost convincing, average human would have corrected the data, not the concept of substraction . GPT3 models are exclusively trained on next token prediction task, they just generate text that looks plausible, no formal reasoning. ChatGPT keeps some traces of this it seems.