How to Prove a Theorem

There's no way a chat GPT could prove that because where would it get the answer from? That's largely true. There are things where there's sort of mathematical intuition about roughly what might this be related to. But for the most part, you're absolutely right that when it comes to the machinery of science, a large language model is not what you want to use to progress with the machinery ofScience.