Terence Tao sanoo, että ChatGPT auttoi häntä ratkaisemaan MathOverflow-ongelman ja säästi tuntikausia manuaalista koodausta