【2026 Science x AI Summit 系列演讲切片第一期—陶哲轩（Terence Tao）】

“AI正在制造数学‘交通堵塞’，我们开了一条新车道。”——菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩（Terence Tao）

“汽车已经上路，但道路还是为马车修的。”在刚刚结束的“2026 Science x AI Summit”上，陶哲轩用一个生动的比喻，揭示了AI时代数学研究面临的深层困境。

如今，AI生成数学证明的能力正以惊人速度增长。传统期刊、预印本和论坛，这些“马车时代的道路”正在被海量AI输出严重堵塞。

一个真实的案例：某数学问题网站，过去数月才收到一两个待解难题，而近期仅一次模型升级后就涌来数十个“AI证明”。其中不少在逻辑上正确，但可读性极差，人类审稿人不愿处理。更棘手的是，当一个难题被AI“灰色解答”后，真正的人类数学家反而不敢碰了，因为无人能判断该解答的最终有效性。

陶哲轩的解决方案不是限制AI，而是为其建造独立的高速通道。

会上，陶哲轩进一步分享了首场“数学蒸馏挑战赛”的最新进展与核心思路。该赛事已于今年3月14日启动。”

第二场“模算术挑战” 即将上线。参赛者需设计一个极小的Transformer模型，以最高速度完成5–20位数的模运算。

陶哲轩透露，未来竞赛将拓展至物理、化学等其他基础科学领域。其本质不是淘汰人类，而是构建AI与人类分道行驶、高效协作的新型科研基础设施。

#AI##AIforscience##陶哲轩##菲尔兹奖##SAIR##科研##数学蒸馏挑战赛# http://t.cn/AX6hRzQH