Terence Tao nói rằng ChatGPT đã giúp ông giải quyết một vấn đề trên MathOverflow và tiết kiệm được hàng giờ lập trình thủ công