RecodeX 重构消息，德州大学奥斯汀分校教授Scott Aaronson在9月15日的博文中透露，AI公司在纳维-斯托克斯方程证明引发敌意公众反应后，正把一些重大问题的解法压而不发。纽约大学数学教授Scott Armstrong称，他被告知OpenAI至少从7月国际数学家大会起就积压了数百个数学证明未发布。

据披露，OpenAI曾调动约1万个智能体并发求解纳维-斯托克斯方程，首批智能体启动约88小时后得出解法，Lean形式化验证又耗时17小时，单题消耗约1300亿输出token，Aaronson估算这份166页证明的算力成本至少约1500万美元。9月11日，陶哲轩等25位菲尔兹奖得主联名发表公开信，批评AI公司把数学难题当跑分工具。