Terence Tao dit que ChatGPT l'a aidé à résoudre un problème sur MathOverflow et lui a fait gagner des heures de codage manuel.