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