陶哲轩担忧 AI 正在改变数学界，但我有一个更朴素的问题：反正我们都看不懂，有什么区别？