Теренс Тао говорит, что ChatGPT помог ему решить задачу на MathOverflow и сэкономил часы ручного кодирования