陶哲轩也成AI减速派了?SAIR演讲呼吁模型公司放慢速度
陶哲轩在SAIR最新演讲中要求模型公司放慢速度,称AI抢着解决数学问题会造成"证明消化不良"。他指出AI只加速了生成解答与Lean形式化验证,阐释、同行评审、写入教科书三步进度几乎为零,恐造成知识拥堵与数据污染。25位菲尔兹奖得主联名公开信炮轰OpenAI后,OpenAI在普林斯顿高等研究院成立"数学与人工智能顾问小组",但声明不负责数学内部进展建议。
陶哲轩在SAIR最新演讲中要求模型公司放慢速度,称AI抢着解决数学问题会造成"证明消化不良"。他指出AI只加速了生成解答与Lean形式化验证,阐释、同行评审、写入教科书三步进度几乎为零,恐造成知识拥堵与数据污染。25位菲尔兹奖得主联名公开信炮轰OpenAI后,OpenAI在普林斯顿高等研究院成立"数学与人工智能顾问小组",但声明不负责数学内部进展建议。
美联储理事Waller在演讲中阐述AI如何改变支付体系,重点覆盖跨境支付效率与安全、以及代理商务(agentic commerce)两大议题。他指出大语言模型可提升制裁筛查和反洗钱系统的准确性、显著减少误报,但预计其只是补充而非取代传统异常检测;网络安全上攻防存在不对称,攻击者只需利用一个漏洞,而支付系统运营方需防守很大攻击面。