There was one math proof that was AI generated going around Twitter and the chat transcript to generate it was basically the human prompting "keep going" until it solved it.

Tao's chat was fascinating because the questions he was asking belied expert knowledge of the subject that only a handful of people could have asked.