陶哲轩表示，ChatGPT 帮助他解决了一个 MathOverflow 问题，并节省了数小时的手动编码。