陶哲轩公开呼吁AI减速，批评模型公司盲目攻关数学难题

陶哲轩在SAIR演讲中公开喊话模型公司放慢速度，称AI快速产出大量证明却无人理解、无人阐释，形成所谓「证明消化不良」。他此前还联合Peter Scholze、邓煜等25位菲尔兹奖得主发表公开信，反对把数学难题当作benchmark刷分。OpenAI随后宣布在普林斯顿高等研究院（IAS）成立数学与人工智能顾问小组，但声明该小组不负责就数学上的内部进展提供建议。