Another ChatGPT gem: 1) "prove that is equivalent to 2) "prove that and are not equivalent". Both answers are well written but LLMs do not care about soundness at all. It sounds more like a parrot that mem