量子位报道，菲尔兹奖得主陶哲轩在SAIR演讲中批评AI公司“无休止地加速”，称“必须慢下来”，并喊话模型公司别再以解数学难题为目标，形容这造成“证明消化不良”。报道称他此前曾积极拥抱AI，还联合Peter Scholze、邓煜等数学家联名公开信，批评OpenAI把数学难题当基准测试刷分。作为回应，OpenAI宣布在普林斯顿高等研究院设立“数学与人工智能顾问小组”，成员包括Edward Witten、Timothy Gowers、Martin Hairer等，但声明称该小组不就数学内部进展提供建议。钛媒体与虎嗅转载的数字力场评论补充称，OpenAI于10月6日一次性公开722篇模型生成的数学手稿，其中仅约42%完成Lean形式化验证。