陶哲轩说，数学的旧规则失效了。真正的转折并不是AI终于会做数学，而是AI生成证明的速度已经超过人类消化证明的速度。过去，一个新证明从写出到被同行理解，往往需要几个月甚至几年；如今，机器可以连续产出答案，形式化工具也能逐行检查逻辑，等待评审和...