陶哲轩博客引爆数学界AI大辩论
菲尔兹奖得主陶哲轩的博客上一篇由3Blue1Brown创始人Grant Sanderson撰写的客座文章，题为《如果数学不仅仅是证明，我们需要更好地颂扬它的其余部分》，在数学界与AI圈引发激烈争论。文章认为，当AI在缺乏「理解」的情况下也能生成证明时，「证明」作为衡量指标的价值被削弱，数学界应转向「动机阐释」，并提出设立「开放式阐释问题」、改革博士答辩考核、把优秀教材与启发性内容纳入终身教职评定等建议。文章还提到，陶哲轩此前一段呼吁「必须放缓AI」的视频在网上广泛传播，与其不久前推动开源数学模型项目SAIR形成对比；同时有研究者称用GPT-5.4 Pro解决了Erdős第1196号问题，随后由陶哲轩等人类数学家整理成可读论文。
这场讨论把「AI 能生成证明后人类数学家价值何在」推到台前，可能影响数学界的评价机制与人才培养方向。
点开菲尔兹奖得主陶哲轩的博客的评论区，你会感到一种前所未有的震撼——当今世界最顶尖的一批数学家、物理学家、AI圈大佬们齐聚于此，各抒己见，吵得好不激烈。
字里行间，探讨的竟是「数学界的生死存亡」与「人类学者的终极价值」。
而引爆这场世纪大辩论的导火索，是接连几天内发生的极具戏剧性的巨震。
就在这场大吵爆发的前一天，一段关于陶哲轩发声要求「放缓AI发展」的视频，刚刚在全网疯狂刷屏。
在视频中，这位向来拥抱新技术的顶级学者面色凝重，发出了史无前例的严重警告：
「我们必须放缓AI。现在的速度简直疯了，根本没有理由这么快——毫无理由可言！」
#Terence Tao#Grant Sanderson#3Blue1Brown#Lean#SAIR#GPT-5.4 Pro#Liam Price#Bill Thurston#Jean Bourgain#Lenka Zdeborova#Timothy Chow