This week between ChatGPT and Phind I asked an AI four questions. Two were about SMT-LIB, one was about homomorphic encryption, and one was about software-defin

This week between ChatGPT and Phind I asked an AI four questions. Two were about SMT-LIB, one was about homomorphic encryption, and one was about software-defined networking. Both ChatGPT and Phind insisted on giving me example SMT problems and then incorrect solutions to them. The HE answer was so vague as to be useless, and I don’t actually know enough about SDN to verify the last one but it seemed useful. Overall it didn’t give me a lot of confidence in the two systems.