Terence Tao říká, že mu ChatGPT pomohl vyřešit problém MathOverflow a ušetřil hodiny ručního kódování