陶哲轩公开呼吁AI减速，批评模型公司盲目攻关数学难题

陶哲轩此前联合Peter Scholze、邓煜等25位菲尔兹奖得主发表公开信，反对把数学难题当作benchmark刷分。随后，陶哲轩在SAIR演讲中公开喊话模型公司放慢速度，称AI快速产出大量证明却无人理解、无人阐释，形成所谓「证明消化不良」。此后，OpenAI宣布在普林斯顿高等研究院（IAS）成立数学与人工智能顾问小组，但声明该小组不负责就数学上的内部进展提供建议。目前，OpenAI已成立该小组，但其职责被限定而不涉及内部数学进展。

SI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。