在陶哲轩发起的非营利机构 SAIR Foundation 的播客节目中，SAIR 主席、菲尔兹奖得主陶哲轩与今年新晋菲尔兹奖得主、芝加哥大学教授邓煜，就 AI 与数学的未来展开对谈。陶哲轩在本次对谈中说得更直白：批量解题产出的成果成了某种副产物，甚至可以说是「有毒废料」，接着它们得想办法处理，或者由数学家来处理。从 722 篇预印本引发的震动，到两位菲尔兹奖得主的这场对谈，讨论的落点已经从「AI 能否做数学」转向「数学共同体需要什么样的 AI」。 邓煜、陶哲轩谈AI与数学：把解题当基准测试，犹如抛出“有毒废料