Теренс Тао каже, що ChatGPT допоміг йому вирішити проблему MathOverflow і заощадив години ручного кодування