Terence Tao zegt dat ChatGPT hem heeft geholpen een MathOverflow-probleem op te lossen en uren handmatig coderen heeft bespaard