That doesn’t counter what I have said. The AI *did not* come up with the proof. It just summarized your own explanation based on the text you have given it.
Summarization of existing text is not the same thing as creating a proof from scratch.
It actually rewrote my explanation and made a substantial change to part of it, using a completely different chain of logic than I did. But you're right, it struggles to do original mathematics. When I asked it to write an explanation from scratch, it made a mistake in the proof.
I just wanted to point out that GPT 4 can be quite useful despite its shortcomings.
Summarization of existing text is not the same thing as creating a proof from scratch.