So you're telling me GPT lied when it disproved Church-Turing using only 3 lines of Coq? What purpose is a machine that cannot be trusted? If I wanted that I'd

So you're telling me GPT lied when it disproved Church-Turing using only 3 lines of Coq? What purpose is a machine that cannot be trusted? If I wanted that I'd use the cloud...