Terence Tao dice que ChatGPT lo ayudó a resolver un problema de MathOverflow y le ahorró horas de codificación manual