Personally, I crow about ChatGPT being wrong because its so clear that when its right it hasnt earned it. Mathematica, Lean, etc. follow rigorous rules of inference, and when they have bugs they can be found and fixed. ChatGPT took