Terence Tao sier at ChatGPT hjalp ham med å løse et MathOverflow-problem og sparte timer med manuell koding