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