陶哲轩也成AI减速派了？SAIR演讲呼吁模型公司放慢速度

陶哲轩在SAIR最新演讲中要求模型公司放慢速度，称AI抢着解决数学问题会造成"证明消化不良"。他指出AI只加速了生成解答与Lean形式化验证，阐释、同行评审、写入教科书三步进度几乎为零，恐造成知识拥堵与数据污染。25位菲尔兹奖得主联名公开信炮轰OpenAI后，OpenAI在普林斯顿高等研究院成立"数学与人工智能顾问小组"，但声明不负责数学内部进展建议。