陶哲轩等菲尔兹奖得主联名致信，反对 AI 公司刷数学基准
菲尔兹奖得主集体发声：反对 AI 公司拿数学 benchmark 做宣传，并在普林斯顿高等研究院设立顾问小组审查 AI 数学成果。
曾积极推广 AI 工具的菲尔兹奖得主陶哲轩，态度转向担忧 AI 对数学的冲击。在 OpenAI 攻克千禧年难题后，一批顶尖数学家公开表达不安，并联名致信 AI 公司，反对把数学研究当作 benchmark（跑分基准）来刷，同时成立独立顾问小组评估 AI 产出的数学成果。
正文摘录
不 er，咋陶哲轩也成 AI 减速派了？？ 是的，就是那个曾经最爱 AI、逢人就安利 AI 工具的男人，一夜之间，漂移到了 AI 数学的对立面…… 你的菲尔兹奖得主 Cédric Villani，在看到 OpenAI 拿下千禧难题后，直接瘫软了…… 面对光速迭代的大模型，即便站在人类智能金字塔尖的天才数学家们，也终于感受到了核弹爆炸的威力。 2026年3月，他在 IPAM 会议上公开呼吁同行别太死板，称当前 AI 在数学和理论物理领域已经 “ready for primetime”，能省去大量的无用功。 大多数人出海不是为了灯塔所在的地方，但灯塔是照亮了整片海域与地貌，让人们能够安全航行。 AI 模型如今在第一步「生成解答」和第二步「Lean 形式化验证」上疯狂加速，但后面三步—— 这就像20世纪初的交通状况：原有的街道是为行人和马车设计的，汽车突然被发明并直接涌入同一条街道，结果造成了全面的拥堵与瘫痪。 新的数学问题与前沿方向，往往诞生于撰写教材体系时的查漏补缺，或是人类在漫长思考与摸索过程中的偶然发现。 现在的 AI 为什么数学这么厉害？因为它们吞噬了人类几个世纪以来写在教科书里的精华，那些被无数数学家反复打磨、消化透彻的高质量数据。 不过，如果未来整个学术界充斥着海量 AI 生成、人类无法理解的证明，下一代 AI 再去吃这些数据训练，会发生什么？ 迭代代数越多，这些缺陷积累得越严重，最终后代会出现发育异常、存活率下降，甚至根本活不下来。 一直有在讨论 AI 数学相关风险，只不过被 OpenAI「截胡」千禧难题这茬一搞，终于将问题摆到了台前—— 亲自牵头成立「复仇者联盟」（bushi）、联合 Peter Scholze、邓煜以及 Pierre Deligne 等 25位菲尔兹奖得主联名写了一封公开信，炮轰 OpenAI 等模型公司。