Terence Tao's blog sparks debate: is math about proofs or human understanding?
A guest essay on Terence Tao's blog by 3Blue1Brown creator Grant Sanderson, titled "If math is more than proofs, we need better celebration of the rest of it," has triggered a fierce debate among mathematicians and the AI community. Sanderson argues that if AI can generate proofs without any "understanding," proof loses value as a metric, and he proposes "motivated exposition," open exposition problems, reformed PhD defenses and tenure criteria that reward clear explanation. The article also contrasts Tao's widely circulated video warning that AI must be slowed down with his recent push for the open-source math model project SAIR, and cites a researcher's claim that GPT-5.4 Pro solved Erdős problem 1196, which human mathematicians including Tao then turned into a readable paper.
The debate puts the question of what human mathematicians are for once AI can produce proofs squarely on the table, with possible consequences for how the field evaluates and trains people.
点开菲尔兹奖得主陶哲轩的博客的评论区，你会感到一种前所未有的震撼——当今世界最顶尖的一批数学家、物理学家、AI圈大佬们齐聚于此，各抒己见，吵得好不激烈。
字里行间，探讨的竟是「数学界的生死存亡」与「人类学者的终极价值」。
而引爆这场世纪大辩论的导火索，是接连几天内发生的极具戏剧性的巨震。
就在这场大吵爆发的前一天，一段关于陶哲轩发声要求「放缓AI发展」的视频，刚刚在全网疯狂刷屏。
在视频中，这位向来拥抱新技术的顶级学者面色凝重，发出了史无前例的严重警告：
「我们必须放缓AI。现在的速度简直疯了，根本没有理由这么快——毫无理由可言！」
#Terence Tao#Grant Sanderson#3Blue1Brown#Lean#SAIR#GPT-5.4 Pro#Liam Price#Bill Thurston#Jean Bourgain#Lenka Zdeborova#Timothy Chow