陶哲轩呼吁AI数学研究放慢速度，OpenAI成立数学与人工智能顾问小组

陶哲轩在SAIR演讲中呼吁模型公司放慢AI数学研究速度，指出AI加速生成和形式化验证证明，但理解、同行评审与知识传播跟不上，可能造成“证明消化不良”。他还警告，大量人类无法理解的AI证明可能削弱数学探索并污染后续训练数据。面对25位菲尔兹奖得主联名公开信，OpenAI宣布在普林斯顿高等研究院设立数学与人工智能顾问小组，协助审查和传播研究成果。