陶哲轩提出数学2.0应对AI证明过剩

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

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。