Youre assuming every question will have a formal logical answer that can be derived by proofs. In reality most of the usefulness of chat GPT is an interface in which you can ask subjective creative things like suggest me a dinner using