3 ms·

I used GPT-4 in a reply in this thread to rewrite my explanation to make it as easy as possible to follow[1]. 1. https://news.ycombinator.com/item?id=35499894

• rvz 4y ago
  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.
  • istjohn 4y ago
    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.