Terence Tao diz que o ChatGPT o ajudou a resolver um problema do MathOverflow e poupou horas de codificação manual.