Terence Tao mówi, że ChatGPT pomógł mu rozwiązać problem na MathOverflow i zaoszczędził godziny ręcznego kodowania