陶哲轩发表《数学2.0》演讲：警惕AI导致人类失去理解能力

菲尔兹奖得主陶哲轩在加州理工发表题为《数学2.0》的演讲，指出AI已使数学从“证明稀缺”进入“证明过剩”时代。他警告若仅依赖AI输出人类无法理解的复杂证明（如OpenAI解决Navier-Stokes方程），将导致科学沦为黑盒。陶哲轩主张利用AI作为认知放大器，重点转向寻找更具启发性的解释、构建知识网络及发现深层洞见，以重建人类对数学的理解。