陶哲轩从AI积极推广者转为“减速派”，在SAIR演讲中批评AI公司无休止加速却不顾后果，呼吁放慢数学AI研究。他提出“证明消化不良”概念，指AI量产证明却无人理解消化，会破坏数学认知生态。他与25位菲尔兹奖得主联名抗议，OpenAI回应成立顾问小组，但声明不干预内部进展。