原文:“数学天才”陶哲轩也爱上 GPT-4:节省了大量繁琐工作