Terence Tao sagt, dass ChatGPT ihm geholfen hat, ein Problem von MathOverflow zu lösen und Stunden manueller Codierung gespart hat.