Terence Tao säger att ChatGPT hjälpte honom att lösa ett MathOverflow-problem och sparade timmar av manuell kodning