how did they do it? Was a human using the chat interface? Did they just type out the problem and immediately on the first reply received a complete solution (one-shot) or what was the human's role? What was ChatGPT's thinking time?

▲

phelm 15 hours ago | parent [-]

Heres the chat https://chatgpt.com/share/696ac45b-70d8-8003-9ca4-320151e081...

	▲	logicallee 15 hours ago \| parent [-]
		very interesting. ChatGPT reasoned for 41 minutes about it! Also, this was one-shot - i.e. ChatGPT produced its complete proof with a single prompt and no more replies by the human, (rather than a chat where the human further guided it.)