读完陶哲轩 @terrence_tao 最近写的那篇《AI时代的数学方法和人类思想》,读完后非常失望。谈谈几点感受:标题取得非常宏大,看起来就像汤因比式的人类文明宏观视角,内容才20多页,非常单薄,里面全是早被反复谈过的陈词滥调,根本没有任何insightful的新东西。
说实话,陶哲轩神童出身,菲尔兹奖得主,本该有一流的数学嗅觉。结果他在AI时代的表现实在不佳。他只扮演了一个AI使用者:用LLM、评论LLM,但没钻进去研究任何LLM的涌现现象,也没碰AI背后真正的数学问题。但是,连用AI做数学这件事也不算他的原创贡献。Lean、Mathlib、形式化、autoformalization都是别人开的路,他做的是组织和放大,不是开新路。
想想薛定谔。1944年老薛56岁,已经拿过诺贝尔奖十年,跳进生物学,写出《生命是什么》,预言遗传物质必须是"非周期性晶体",直接启发了沃森和克里克,这才是顶级科学家在范式转折点该有的姿态。
陶哲轩今年51岁,他选择继续待在自己的舒适区里做精致的工程性工作,用着半外行的方式评价AI。这不是能力问题,是选择问题。失望的不是他做不到,是他不去做。
陶神童果然有点陶郎才尽了。